Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-11-26 20:05:03 +01:00
37359a319f working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-26 14:14:06 +01:00
46740a0f17 Update stronglyMeromorphicOn_eliminate.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-26 11:20:06 +01:00
092bfd85a3 Update stronglyMeromorphicOn_ratlPolynomial.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-25 15:33:48 +01:00
0e88e97295 Update stronglyMeromorphicOn_ratlPolynomial.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-25 14:25:04 +01:00
5f85934bbe Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-25 12:15:48 +01:00
8c1fefb0be Update lake-manifest.json
kebekus pushed to main at kebekus/nevanlinna 2024-11-21 17:15:36 +01:00
6fb627dad3 working...
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