OAI/MeasureTheory/Falconer/Geometry/OrthonormalRectangle.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Covering a transverse rectangle by codimension-two neighborhoods

  1. theorem OAI.Falconer.orthonormal_rectangle_cover line 11
  2. theorem OAI.Falconer.orthonormal_rectangle_mass line 67