Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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)
kebekus pushed to main at kebekus/nevanlinna 2024-10-31 17:09:13 +01:00
025b0a3db8 Create meromorphicOn_divisor.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-31 16:59:25 +01:00
30ad49b90d Working…
kebekus pushed to main at kebekus/nevanlinna 2024-10-31 07:37:59 +01:00
449de2e42a Update mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-10-30 16:53:37 +01:00
279dcd32b9 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-10-25 14:14:10 +02:00
a6defe8296 Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-24 16:05:46 +02:00
5bf670231f Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-24 14:37:31 +02:00
306ed1b083 Update stronglyMeromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-24 14:05:19 +02:00
ccdbb319f7 Create stronglyMeromorphicOn.lean
dd3384439e Rename
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-10-24 13:46:32 +02:00
f373bf786b Update stronglyMeromorphic.lean
6aa5bc3b1c Update stronglyMeromorphic.lean
570a58aab7 Update
Compare 3 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-10-23 13:31:27 +02:00
e7ca812ad8 Update stronglyMeromorphic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-23 13:03:43 +02:00
d80894ea6f Update stronglyMeromorphic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-22 17:13:03 +02:00
e1b948ad2c Update, working, …
kebekus pushed to main at kebekus/nevanlinna 2024-10-21 10:36:51 +02:00
25b0ffd899 Update stronglyMeromorphic.lean
kebekus deleted branch feature/locallyHarmonic from kebekus/nevanlinna 2024-10-14 20:50:19 +02:00