OAI/Geometry/CylinderCovering/Singular/EdgeOneResults.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SingularEdgeOne.flexibleCutoff_iff_admissible line 10
2. lemma OAI.SingularEdgeOne.edgeA_eq_canonical line 14
3. lemma OAI.SingularEdgeOne.edgeG_eq_canonical line 15
4. theorem OAI.SingularEdgeOne.dictionary line 17