OAI/Combinatorics/Crossing/CutVertexAvoidance.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Zarankiewicz.drawing_edge_vertex_parameter line 9
2. theorem OAI.Zarankiewicz.ExteriorCrossingCut.first_parameter_lt_one line 25
3. theorem OAI.Zarankiewicz.ExteriorCrossingCut.last_parameter_pos line 29
4. theorem OAI.Zarankiewicz.ExteriorCrossingCut.prefix_vertex_eq line 33
5. theorem OAI.Zarankiewicz.ExteriorCrossingCut.suffix_vertex_eq line 41