Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 10:21:44 +01:00
8d72fae4dc Update mathlib and work on Jensen Formula
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 09:08:17 +01:00
7e3ccaf7d5 Fix compilations
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 08:01:01 +01:00
9aa2604c18 Fix compilation
kebekus pushed to main at kebekus/nevanlinna 2024-12-02 17:46:54 +01:00
084841c35a working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-02 16:49:19 +01:00
4320db0533 Update stronglyMeromorphic_JensenFormula.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-29 13:45:08 +01:00
7fa50d47e9 Create stronglyMeromorphic_JensenFormula.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-29 13:24:24 +01:00
580ea61f96 Done with elimination
kebekus pushed to main at kebekus/nevanlinna 2024-11-29 09:55:29 +01:00
eec4cd1ffa Update mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-11-29 07:09:04 +01:00
e20dcdbd19 Working.
kebekus pushed to main at kebekus/nevanlinna 2024-11-28 18:57:48 +01:00
3f24072412 Working…
2b7ab1af9d Working
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-11-28 16:53:01 +01:00
8bc84748a3 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-27 11:54:36 +01:00
8525ae1ece Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-27 10:43:23 +01:00
9be57a898c Update stronglyMeromorphicOn_eliminate.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-26 20:05:03 +01:00
37359a319f working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-26 14:14:06 +01:00
46740a0f17 Update stronglyMeromorphicOn_eliminate.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-26 11:20:06 +01:00
092bfd85a3 Update stronglyMeromorphicOn_ratlPolynomial.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-25 15:33:48 +01:00
0e88e97295 Update stronglyMeromorphicOn_ratlPolynomial.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-25 14:25:04 +01:00
5f85934bbe Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-25 12:15:48 +01:00
8c1fefb0be Update lake-manifest.json
kebekus pushed to main at kebekus/nevanlinna 2024-11-21 17:15:36 +01:00
6fb627dad3 working...