OAI/Combinatorics/Crossing/OffsetTrack.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Zarankiewicz.trackDirection line 10
2. def OAI.Zarankiewicz.trackOffset line 12
3. def OAI.Zarankiewicz.shiftedTrack line 17
4. theorem OAI.Zarankiewicz.trackOffset_incident_levels line 20
5. theorem OAI.Zarankiewicz.shiftedTrack_stretch_no_contact line 41
6. theorem OAI.Zarankiewicz.exists_forward_shiftedTrack_radius line 50