Stefan Kebekus
|
6294e3c4ea
|
Update stronglyMeromorphicOn_eliminate.lean
|
2024-11-20 12:01:52 +01:00 |
|
Stefan Kebekus
|
f65785b62b
|
Working…
|
2024-11-20 08:12:12 +01:00 |
|
Stefan Kebekus
|
25d0e2086a
|
working
|
2024-11-19 16:33:33 +01:00 |
|
Stefan Kebekus
|
971b7cc23c
|
Working!
|
2024-11-19 15:54:28 +01:00 |
|
Stefan Kebekus
|
ab02fe715e
|
Update stronglyMeromorphicOn_eliminate.lean
|
2024-11-19 13:57:08 +01:00 |
|
Stefan Kebekus
|
513c122036
|
working
|
2024-11-19 13:20:19 +01:00 |
|
Stefan Kebekus
|
32f0bdf6e1
|
Update stronglyMeromorphicOn_eliminate.lean
|
2024-11-19 12:06:03 +01:00 |
|
Stefan Kebekus
|
81f1c6ae94
|
working…
|
2024-11-19 11:31:24 +01:00 |
|
Stefan Kebekus
|
69b9ad6d3b
|
working…
|
2024-11-19 10:07:20 +01:00 |
|
Stefan Kebekus
|
226609f9c0
|
Working…
|
2024-11-19 08:45:20 +01:00 |
|
Stefan Kebekus
|
c5dc9ea786
|
Working…
|
2024-11-19 07:16:04 +01:00 |
|
Stefan Kebekus
|
8bff0c782b
|
Minor update
|
2024-11-15 09:01:55 +01:00 |
|
Stefan Kebekus
|
d7b78e8e33
|
working
|
2024-11-14 16:53:35 +01:00 |