OAI/MeasureTheory/Falconer/Slicing/GaussianActiveFamily.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Active counts for measurable original-label tube lists

  1. theorem OAI.Falconer.gaussianActiveFamily_measurable line 12
  2. theorem OAI.Falconer.gaussianActiveFamily_exceptional_bound line 42
  3. theorem OAI.Falconer.gaussianActiveFamily_slice_count_measurable line 52
  4. theorem OAI.Falconer.gaussianActiveFamily_slice_measurable line 82