OAI/MeasureTheory/Falconer/Radial/PlateZoom.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exact affine normalization of the heavy-plate inputs

  1. theorem OAI.Falconer.radialZoom_full_frostman line 13
  2. theorem OAI.Falconer.radialZoom_zero_slab line 24
  3. theorem OAI.Falconer.pullback_affine_slab line 36