OAI/Geometry/Cannon/PlaneTopology/NoSingleFaceDiscordance.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonEmbeddedArc.Arc.no_single_face_discordance line 16
2. theorem OAI.CannonEmbeddedArc.Arc.dual_preconnected_delete_forest line 67
3. theorem OAI.CannonEmbeddedArc.Arc.planar_disk_gauge_integrates line 122
4. lemma OAI.CannonEmbeddedArc.Arc.Spans.endpoints_eq line 193
5. theorem OAI.CannonEmbeddedArc.Arc.triangular_face_scaffold line 202
6. theorem OAI.CannonEmbeddedArc.Arc.triangular_disk_gauge_integrates line 338