Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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
kebekus pushed to main at kebekus/nevanlinna 2024-10-14 13:41:07 +02:00
8408172272 Update stronglyMeromorphic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-14 13:25:54 +02:00
405b68924d Update stronglyMeromorphic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-10-14 11:21:26 +02:00
24139d9d00 Update mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-10-09 12:13:27 +02:00
b4fd53c8b7 Update
kebekus pushed to main at kebekus/nevanlinna 2024-10-09 06:33:17 +02:00
0298c9c97a Working…
kebekus pushed to main at kebekus/nevanlinna 2024-10-08 15:39:23 +02:00
1c31e68e2a Update stronglyMeromorphic.lean