OAI/MeasureTheory/Falconer/Geometry/CommonRatioProjections.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The large rectangles from the scalar energy refinement have a common reference set with small ratio projections.

  1. theorem OAI.Falconer.common_small_ratio_projections line 11