OAI/Geometry/Cannon/Boundary/BoundaryControlledDiskCover.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonRelease.boundary_controlled_disk_cover line 18
2. lemma OAI.CannonDiskColoring.finite_relation_coloring line 43
3. theorem OAI.CannonDiskColoring.bounded_intersection_coloring line 91
4. theorem OAI.CannonRelease.boundary_disjoint_disk_stages line 118