OAI/Geometry/PlaneColoring/PlanarCovers.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.EuclideanFiveColor.finite_packed_cover line 9
2. lemma OAI.EuclideanFiveColor.diskAverage_product_integrable line 45
3. lemma OAI.EuclideanFiveColor.finite_disk_overlap_cover line 56
4. lemma OAI.EuclideanFiveColor.missing_edge_disk_cover line 146
5. lemma OAI.PlanarCover.ball_simplyConnected line 175
6. lemma OAI.PlanarCover.hit_center line 180
7. lemma OAI.PlanarCover.affinePair_null line 242
8. lemma OAI.PlanarCover.hit_center_subtype line 252
9. lemma OAI.PlanarCover.small_support_pair line 266
10. lemma OAI.PlanarCover.barycenter_two line 274
11. lemma OAI.PlanarCover.finite_partition_impossible line 302
12. lemma OAI.PlanarCover.finite_open_cover_impossible line 348
13. lemma OAI.PlanarCover.compact_open_cover_impossible line 374