OAI/Analysis/AncientFlat/Geometry/AnnularGeometry.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParabolicAnnular.annular_window_maps line 10
2. lemma OAI.ParabolicAnnular.close_pair_annular_window line 30
3. lemma OAI.ParabolicAnnular.holder_of_annular_windows line 53