OAI/MeasureTheory/Falconer/Radial/CoarsePlateAffineBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

All-width affine slab bounds for the original coarse-filter fibers

  1. def OAI.Falconer.coarseSlabConstant line 12
  2. theorem OAI.Falconer.coarseSlabConstant_pos line 15
  3. theorem OAI.Falconer.coarse_filter_affine_bound line 18