Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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
kebekus pushed to main at kebekus/nevanlinna 2024-10-08 09:35:22 +02:00
67b78ad72d Add file
kebekus pushed to main at kebekus/nevanlinna 2024-10-07 13:06:58 +02:00
9498d9f203 Update mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-10-07 07:56:44 +02:00
86da08ebc8 working
kebekus pushed to main at kebekus/nevanlinna 2024-10-01 06:51:22 +02:00
551b4a2463 Update divisor.lean
kebekus pushed to main at kebekus/nevanlinna 2024-09-30 16:41:01 +02:00
76c6aa1639 Updade mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-09-30 14:12:39 +02:00
c8f4cf12ca Update to latest version of mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-09-29 10:30:24 +02:00
1a8bde51eb Update divisor.lean
kebekus pushed to main at kebekus/nevanlinna 2024-09-17 10:43:54 +02:00
12d81cb0a9 Update divisor.lean
kebekus pushed to main at kebekus/nevanlinna 2024-09-14 08:38:08 +02:00
12f0543f47 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-09-13 09:22:26 +02:00
6610fd49b0 working…
kebekus pushed to main at kebekus/nevanlinna 2024-09-13 09:22:19 +02:00
dba4e2d9c4 Rename file
fe0d8a5f5e Delete holomorphic_JensenFormula.lean
712be956d0 Jensen's formula is done!
5a984253c6 Update holomorphic_JensenFormula2.lean
42c1c14edf Delete diffOpGrothendieck.lean
Compare 24 commits »
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-13 09:22:00 +02:00
6610fd49b0 working…
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-13 09:21:31 +02:00
dba4e2d9c4 Rename file
fe0d8a5f5e Delete holomorphic_JensenFormula.lean
Compare 2 commits »
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-12 08:56:04 +02:00
712be956d0 Jensen's formula is done!