Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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
kebekus created branch feature/analyticOn in kebekus/nevanlinna 2024-09-10 10:45:55 +02:00
kebekus pushed to main at kebekus/nevanlinna 2024-09-09 13:17:16 +02:00
111fcea7af Update holomorphic_JensenFormula2.lean
kebekus pushed to main at kebekus/nevanlinna 2024-09-09 12:45:12 +02:00
e3853f1632 Update Mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-09-09 06:50:33 +02:00
1ccc9679e5 Update lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-23 09:27:02 +02:00
2ec1335521 Update Mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-08-22 14:52:55 +02:00
42a6c439a9 Update holomorphic_JensenFormula2.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-22 14:21:18 +02:00
b818aa5c13 working…
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…