Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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!
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-12 07:52:32 +02:00
5a984253c6 Update holomorphic_JensenFormula2.lean
42c1c14edf Delete diffOpGrothendieck.lean
b988031047 Update analyticAt.lean
dbea68061b Update analyticAt.lean
Compare 4 commits »
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-12 06:58:48 +02:00
f83f772506 Update analyticAt.lean
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-11 16:57:20 +02:00
dbeb631178 Update analyticAt.lean
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-11 15:48:46 +02:00
1e8c5bad0f working
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-11 11:09:09 +02:00
b91e3677c0 Update holomorphic_JensenFormula2.lean
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-11 11:06:48 +02:00
47e1bfe35e working
6651c0852a Working…
Compare 2 commits »
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-11 09:07:52 +02:00
3bead7a9bf Update holomorphic_JensenFormula2.lean
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-10 16:50:34 +02:00
e901f241cc Working…
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-10 15:29:35 +02:00
745e614016 Working…
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-10 14:43:31 +02:00
8e5ada9a01 working…
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-10 14:21:11 +02:00
ef7e1df191 Working…
fa2e431f4c Update analyticOn_zeroSet.lean
Compare 2 commits »
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-10 11:30:31 +02:00
f732c82f92 Update analyticOn_zeroSet.lean
cd58c18a78 Update analyticOn_zeroSet.lean
5dc437751b Update analyticOn_zeroSet.lean
aa79fdb9eb Update analyticOn_zeroSet.lean
Compare 4 commits »
kebekus pushed to feature/analyticOn at kebekus/nevanlinna 2024-09-10 10:45:55 +02:00
e41a08f1d5 Create analyticAt.lean