`OAI/MeasureTheory/Falconer/Geometry/ProjectedSeparation.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Separated projected supports give the directional lower bound for cap lifting

theorem OAI.Falconer.projected_direction_lower_of_dist line 10