Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 15:33:22 +01:00
62abf21cfd Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 15:32:22 +01:00
9ebb1c5215 Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 14:08:10 +01:00
1a14bbbdd6 Update stronglyMeromorphicAt.lean
89abb9190f Working…
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 11:24:48 +01:00
ebeba74314 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 06:49:19 +01:00
f43674dedc working
kebekus pushed to main at kebekus/nevanlinna 2024-11-13 16:12:28 +01:00
24bd4f9ffa Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-13 14:31:49 +01:00
74ba95926e Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-12 16:58:12 +01:00
15fa18c52f working...
kebekus pushed to main at kebekus/nevanlinna 2024-11-12 16:49:11 +01:00
c6caffc53d Implementing...
kebekus pushed to main at kebekus/nevanlinna 2024-11-12 13:14:16 +01:00
7893050455 Update along with mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-11-11 16:50:55 +01:00
a8ab8a5875 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-11 08:46:31 +01:00
f3e951884f Update mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-11-08 12:05:54 +01:00
6d403874e2 Update meromorphicOn_decompose.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-08 12:00:42 +01:00
4145a9ebc9 Update meromorphicOn_decompose.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-08 08:41:03 +01:00
de501a7384 Update meromorphicOn_decompose.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-07 16:10:42 +01:00
1c844b9978 Update meromorphicOn_decompose.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-07 12:08:56 +01:00
dfc67cec4a working
kebekus pushed to main at kebekus/nevanlinna 2024-11-07 09:53:38 +01:00
e843786097 Cleanup
kebekus pushed to main at kebekus/nevanlinna 2024-11-07 08:16:36 +01:00
a95c34fd05 Update divisor.lean
9d6801c329 Working…
5cdc786144 Working…
Compare 3 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-11-04 13:22:16 +01:00
2146909338 Working (hard)