OAI/MeasureTheory/Falconer/Graphs/DistancePairDegree.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.distancePairCells line 8
2. theorem OAI.PlanarFalconer.distance_pair_fiber_card line 12
3. theorem OAI.PlanarFalconer.distance_pair_card_of_projection line 49
4. theorem OAI.PlanarFalconer.distance_pair_first_fiber_card line 65
5. theorem OAI.PlanarFalconer.distance_pair_card_of_second_projection line 102
6. theorem OAI.PlanarFalconer.distance_pair_card_min line 118