Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-11-20 16:09:02 +01:00
b038a5f47f Update stronglyMeromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-20 12:01:55 +01:00
6294e3c4ea Update stronglyMeromorphicOn_eliminate.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-20 11:43:13 +01:00
b3eefceb39 working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-20 08:12:17 +01:00
f65785b62b Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-19 16:33:58 +01:00
25d0e2086a working
kebekus pushed to main at kebekus/nevanlinna 2024-11-19 15:54:32 +01:00
971b7cc23c Working!
ab02fe715e Update stronglyMeromorphicOn_eliminate.lean
513c122036 working
32f0bdf6e1 Update stronglyMeromorphicOn_eliminate.lean
Compare 4 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-11-19 11:31:30 +01:00
81f1c6ae94 working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-19 10:07:24 +01:00
69b9ad6d3b working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-19 08:45:24 +01:00
226609f9c0 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-19 07:16:08 +01:00
c5dc9ea786 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-18 19:27:56 +01:00
68acec101e Update meromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-18 18:44:46 +01:00
12888b75fb Update meromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-17 16:56:30 +01:00
22d9b8aa95 Update meromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-16 13:24:54 +01:00
6e204a0348 Update meromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-15 12:16:44 +01:00
b6014409de Update meromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-15 09:01:59 +01:00
8bff0c782b Minor update
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 16:53:39 +01:00
d7b78e8e33 working
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 16:18:35 +01:00
fb642a4ed0 working
f22cea20a0 Update stronglyMeromorphicAt.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 15:36:39 +01:00
ccfc457c48 Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 15:33:22 +01:00
62abf21cfd Update stronglyMeromorphicAt.lean