Stefan Kebekus
|
6fb627dad3
|
working...
|
2024-11-21 17:15:32 +01:00 |
|
Stefan Kebekus
|
b038a5f47f
|
Update stronglyMeromorphicOn.lean
|
2024-11-20 16:08:59 +01:00 |
|
Stefan Kebekus
|
6294e3c4ea
|
Update stronglyMeromorphicOn_eliminate.lean
|
2024-11-20 12:01:52 +01:00 |
|
Stefan Kebekus
|
b3eefceb39
|
working…
|
2024-11-20 11:43:09 +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
|
68acec101e
|
Update meromorphicOn.lean
|
2024-11-18 19:27:51 +01:00 |
|
Stefan Kebekus
|
12888b75fb
|
Update meromorphicOn.lean
|
2024-11-18 18:44:42 +01:00 |
|
Stefan Kebekus
|
22d9b8aa95
|
Update meromorphicOn.lean
|
2024-11-17 16:56:27 +01:00 |
|
Stefan Kebekus
|
6e204a0348
|
Update meromorphicOn.lean
|
2024-11-16 13:24:50 +01:00 |
|
Stefan Kebekus
|
b6014409de
|
Update meromorphicOn.lean
|
2024-11-15 12:16:41 +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 |
|
Stefan Kebekus
|
fb642a4ed0
|
working
|
2024-11-14 16:18:32 +01:00 |
|
Stefan Kebekus
|
f22cea20a0
|
Update stronglyMeromorphicAt.lean
|
2024-11-14 15:54:21 +01:00 |
|
Stefan Kebekus
|
ccfc457c48
|
Update stronglyMeromorphicAt.lean
|
2024-11-14 15:36:36 +01:00 |
|
Stefan Kebekus
|
62abf21cfd
|
Update stronglyMeromorphicAt.lean
|
2024-11-14 15:33:19 +01:00 |
|
Stefan Kebekus
|
9ebb1c5215
|
Update stronglyMeromorphicAt.lean
|
2024-11-14 15:32:19 +01:00 |
|
Stefan Kebekus
|
1a14bbbdd6
|
Update stronglyMeromorphicAt.lean
|
2024-11-14 14:08:06 +01:00 |
|
Stefan Kebekus
|
89abb9190f
|
Working…
|
2024-11-14 13:47:24 +01:00 |
|
Stefan Kebekus
|
ebeba74314
|
Working…
|
2024-11-14 11:24:44 +01:00 |
|
Stefan Kebekus
|
f43674dedc
|
working
|
2024-11-14 06:49:15 +01:00 |
|
Stefan Kebekus
|
24bd4f9ffa
|
Working…
|
2024-11-13 16:12:25 +01:00 |
|
Stefan Kebekus
|
74ba95926e
|
Working…
|
2024-11-13 14:31:45 +01:00 |
|
Stefan Kebekus
|
15fa18c52f
|
working...
|
2024-11-12 16:58:07 +01:00 |
|
Stefan Kebekus
|
c6caffc53d
|
Implementing...
|
2024-11-12 16:49:07 +01:00 |
|
Stefan Kebekus
|
7893050455
|
Update along with mathlib
|
2024-11-12 13:14:11 +01:00 |
|
Stefan Kebekus
|
a8ab8a5875
|
Working…
|
2024-11-11 16:50:49 +01:00 |
|
Stefan Kebekus
|
f3e951884f
|
Update mathlib
|
2024-11-11 08:46:26 +01:00 |
|
Stefan Kebekus
|
6d403874e2
|
Update meromorphicOn_decompose.lean
|
2024-11-08 12:05:49 +01:00 |
|
Stefan Kebekus
|
4145a9ebc9
|
Update meromorphicOn_decompose.lean
|
2024-11-08 12:00:37 +01:00 |
|
Stefan Kebekus
|
de501a7384
|
Update meromorphicOn_decompose.lean
|
2024-11-08 08:40:58 +01:00 |
|
Stefan Kebekus
|
1c844b9978
|
Update meromorphicOn_decompose.lean
|
2024-11-07 16:10:37 +01:00 |
|
Stefan Kebekus
|
dfc67cec4a
|
working
|
2024-11-07 12:08:52 +01:00 |
|
Stefan Kebekus
|
e843786097
|
Cleanup
|
2024-11-07 09:53:34 +01:00 |
|
Stefan Kebekus
|
a95c34fd05
|
Update divisor.lean
|
2024-11-06 16:15:27 +01:00 |
|
Stefan Kebekus
|
9d6801c329
|
Working…
|
2024-11-06 16:08:17 +01:00 |
|
Stefan Kebekus
|
5cdc786144
|
Working…
|
2024-11-06 15:33:48 +01:00 |
|
Stefan Kebekus
|
2146909338
|
Working (hard)
|
2024-11-04 13:22:12 +01:00 |
|
Stefan Kebekus
|
025b0a3db8
|
Create meromorphicOn_divisor.lean
|
2024-10-31 17:09:09 +01:00 |
|
Stefan Kebekus
|
30ad49b90d
|
Working…
|
2024-10-31 16:59:22 +01:00 |
|
Stefan Kebekus
|
449de2e42a
|
Update mathlib
|
2024-10-31 07:37:54 +01:00 |