OAI/Geometry/Cannon/PlaneTopology/FaceHullCompact.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonEmbeddedArc.Arc.faceHull_compact line 19
2. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.hull_regular line 23
3. lemma OAI.CannonEmbeddedArc.Arc.sphereTile_regular line 29
4. lemma OAI.CannonEmbeddedArc.Arc.sphereTile_interiors_disjoint line 42
5. lemma OAI.CannonEmbeddedArc.Arc.sphereTile_frontier_disks line 70
6. lemma OAI.CannonEmbeddedArc.Arc.face_incidence_card_le line 99
7. lemma OAI.CannonEmbeddedArc.Arc.packing_center_tile_incidence line 122