Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-11-15 12:16:44 +01:00
b6014409de Update meromorphicOn.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-15 09:01:59 +01:00
8bff0c782b Minor update
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 16:53:39 +01:00
d7b78e8e33 working
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 16:18:35 +01:00
fb642a4ed0 working
f22cea20a0 Update stronglyMeromorphicAt.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 15:36:39 +01:00
ccfc457c48 Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 15:33:22 +01:00
62abf21cfd Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 15:32:22 +01:00
9ebb1c5215 Update stronglyMeromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 14:08:10 +01:00
1a14bbbdd6 Update stronglyMeromorphicAt.lean
89abb9190f Working…
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 11:24:48 +01:00
ebeba74314 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-14 06:49:19 +01:00
f43674dedc working
kebekus pushed to main at kebekus/nevanlinna 2024-11-13 16:12:28 +01:00
24bd4f9ffa Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-13 14:31:49 +01:00
74ba95926e Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-12 16:58:12 +01:00
15fa18c52f working...
kebekus pushed to main at kebekus/nevanlinna 2024-11-12 16:49:11 +01:00
c6caffc53d Implementing...
kebekus pushed to main at kebekus/nevanlinna 2024-11-12 13:14:16 +01:00
7893050455 Update along with mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-11-11 16:50:55 +01:00
a8ab8a5875 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-11-11 08:46:31 +01:00
f3e951884f Update mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-11-08 12:05:54 +01:00
6d403874e2 Update meromorphicOn_decompose.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-08 12:00:42 +01:00
4145a9ebc9 Update meromorphicOn_decompose.lean
kebekus pushed to main at kebekus/nevanlinna 2024-11-08 08:41:03 +01:00
de501a7384 Update meromorphicOn_decompose.lean