Stefan Kebekus
|
22d2eae3f6
|
Working
|
2024-12-20 11:30:06 +01:00 |
|
Stefan Kebekus
|
93006a2a7e
|
Working…
|
2024-12-20 09:42:56 +01:00 |
|
Stefan Kebekus
|
1c02007e1e
|
Working…
|
2024-12-13 16:03:00 +01:00 |
|
Stefan Kebekus
|
20a0d664b7
|
Update stronglyMeromorphic_JensenFormula.lean
|
2024-12-05 13:42:47 +01:00 |
|
Stefan Kebekus
|
734ea1a8f4
|
Working…
|
2024-12-05 12:00:49 +01:00 |
|
Stefan Kebekus
|
ae3e64c83b
|
Working…
|
2024-12-03 17:21:22 +01:00 |
|
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 |
|