OAI/Combinatorics/Crossing/GraphWalkTrace.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Zarankiewicz.polygonalArcPath_piece_subset_range line 9
2. theorem OAI.Zarankiewicz.graphWalkPath_dart_subset_range line 25
3. theorem OAI.Zarankiewicz.walk_dart_at line 32
4. theorem OAI.Zarankiewicz.graphWalkPath_range_subset_of_darts_subset line 40
5. theorem OAI.Zarankiewicz.graphWalkPath_bypass_range_subset line 55