OAI/Combinatorics/Crossing/TriangleOrientations.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Zarankiewicz.orient2_reverse_edge line 9
2. theorem OAI.Zarankiewicz.det2_reverse_edge line 13
3. theorem OAI.Zarankiewicz.triangle_position_reverse line 17
4. theorem OAI.Zarankiewicz.triangle_intersection_reverse line 48
5. def OAI.Zarankiewicz.orientedTriangleIndicator line 55
6. theorem OAI.Zarankiewicz.oriented_triangle_entry_exit line 58
7. theorem OAI.Zarankiewicz.triangle_closed_walk_intersection_zero line 72