OAI/Geometry/KahlerSplitting/DiskAxes.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.UniversalCoverSplitting.superDomain_axes_of_eventually line 35
2. lemma OAI.UniversalCoverSplitting.superDomain_full_boundary line 59
3. lemma OAI.UniversalCoverSplitting.super_box_maximal line 91
4. lemma OAI.UniversalCoverSplitting.superSublevel_zero line 151
5. lemma OAI.UniversalCoverSplitting.superDomain_small line 171
6. lemma OAI.UniversalCoverSplitting.superDomain_exhaustion line 177
7. theorem OAI.UniversalCoverSplitting.disk_axes line 206
8. lemma OAI.UniversalCoverSplitting.disk_axes_unique line 266