OAI/MeasureTheory/Falconer/Radial/VanishingSlabs.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Shrinking affine slabs have vanishing mass when their hyperplanes are null

  1. theorem OAI.Falconer.exists_small_sublevel_of_null_fiber line 12
  2. theorem OAI.Falconer.exists_small_affine_slab line 41
  3. theorem OAI.Falconer.affine_slab_parameter_bound line 49