OAI/Geometry/CylinderCovering/Singular/Orthogonal.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.FlexibleSingular.plane_graph_null line 10
2. lemma OAI.CylinderCovering.FlexibleSingular.labelDomain_frontier_null line 24
3. lemma OAI.CylinderCovering.FlexibleSingular.derivative_small_eventually line 50
4. lemma OAI.CylinderCovering.FlexibleSingular.scaled_trace_det line 78
5. lemma OAI.CylinderCovering.FlexibleSingular.orthogonal_families_eventually line 92
6. theorem OAI.CylinderCovering.FlexibleSingular.orthogonal_statement line 145