OAI/MeasureTheory/Falconer/Estimates/EndpointApplicationNumerics.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Scalar endpoint budgets in the form used by the controlled slice

  1. theorem OAI.Falconer.endpoint_stable_small line 12
  2. theorem OAI.Falconer.endpoint_active_cover_power line 19
  3. theorem OAI.Falconer.endpoint_bad_mass_ennreal line 38
  4. theorem OAI.Falconer.endpoint_selection_row_budget line 52