OAI/MeasureTheory/Falconer/Geometry/TwoProjectionCubes.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Compatible unit-cube normalization of two successive projections

  1. theorem OAI.Falconer.two_projections_into_unitCubes line 10
  2. theorem OAI.Falconer.scaled_composite line 20