Stefan Kebekus
|
ad298459ee
|
working
|
2024-12-03 16:54:13 +01:00 |
|
Stefan Kebekus
|
ebfa0e9bd0
|
Update stronglyMeromorphic_JensenFormula.lean
|
2024-12-03 12:05:00 +01:00 |
|
Stefan Kebekus
|
8d72fae4dc
|
Update mathlib and work on Jensen Formula
|
2024-12-03 10:21:38 +01:00 |
|
Stefan Kebekus
|
7e3ccaf7d5
|
Fix compilations
|
2024-12-03 09:08:14 +01:00 |
|
Stefan Kebekus
|
4320db0533
|
Update stronglyMeromorphic_JensenFormula.lean
|
2024-12-02 16:49:16 +01:00 |
|
Stefan Kebekus
|
7fa50d47e9
|
Create stronglyMeromorphic_JensenFormula.lean
|
2024-11-29 13:45:05 +01:00 |
|