OAI/Combinatorics/Crossing/PolygonalChainExistence.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Zarankiewicz.polygonalArcPath_range_subset line 8
2. theorem OAI.Zarankiewicz.PolygonalChain.path_range_subset line 24
3. theorem OAI.Zarankiewicz.exists_minimum_polygonalChain line 30
4. theorem OAI.Zarankiewicz.exists_minimum_polygonalChain_of_path line 42