OAI/Geometry/Cannon/PlaneTopology/Portion.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonEmbeddedArc.Arc.portion line 52
2. lemma OAI.CannonEmbeddedArc.Arc.portion_apply line 57
3. lemma OAI.CannonEmbeddedArc.Arc.portion_range line 59
4. lemma OAI.CannonEmbeddedArc.Arc.pair_closing_path line 66
5. lemma OAI.CannonEmbeddedArc.Arc.isolated_chord_closer line 77
6. lemma OAI.CannonEmbeddedArc.Arc.isolated_chord_not_preconnected line 144
7. theorem OAI.CannonEmbeddedArc.Arc.pair_complement_not_preconnected line 190
8. theorem OAI.CannonEmbeddedArc.Arc.tame_pair_jordan line 201