Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 13:44:01 +01:00
dce2f57135 Move unused files to junk
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 13:42:50 +01:00
20a0d664b7 Update stronglyMeromorphic_JensenFormula.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 12:00:53 +01:00
734ea1a8f4 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 07:12:38 +01:00
5e244a732a Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 17:21:28 +01:00
ae3e64c83b Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 16:54:19 +01:00
ad298459ee working
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 12:05:03 +01:00
ebfa0e9bd0 Update stronglyMeromorphic_JensenFormula.lean
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