Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-08-22 13:09:07 +02:00
371b90c1c6 working…
db9ce54bcf Update specialFunctions_CircleIntegral_affine.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-22 08:19:06 +02:00
77dea4115e working
kebekus pushed to main at kebekus/nevanlinna 2024-08-21 17:04:48 +02:00
567b08aa5b working…
960af65b57 Update holomorphic_JensenFormula.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 17:45:45 +02:00
1160beac5e Update analyticOn_zeroSet.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 17:27:46 +02:00
6d0870d533 Update analyticOn_zeroSet.lean
867b88bf5a Update analyticOn_zeroSet.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 15:33:59 +02:00
efe088f9b5 working…
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 12:54:34 +02:00
e8fa4b646d Cleanup
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 11:06:29 +02:00
688347a837 Update analyticOn_zeroSet.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 10:16:41 +02:00
8bc46c2874 Update analyticOn_zeroSet.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 09:15:00 +02:00
b0d663530b Update analyticOn_zeroSet.lean
1ca46cf454 Update analyticOn_zeroSet.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-20 07:46:21 +02:00
8a62e60b15 Create analyticOn_zeroSet.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-19 15:59:17 +02:00
5e7dd06d4c Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-19 14:08:06 +02:00
a910bd6988 Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-19 12:09:24 +02:00
ec79ed7ba1 Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-19 08:30:07 +02:00
97293e3a60 Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-19 08:01:41 +02:00
7b1c861a92 Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-18 19:47:14 +02:00
2c2370638a Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-16 20:24:28 +02:00
f9f177e7b9 Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-16 17:12:39 +02:00
d0cd033d5c Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-16 15:20:28 +02:00
9d4657fb81 Update holomorphic_zero.lean
9ea3dcb2d6 Update holomorphic_zero.lean
Compare 2 commits »