OAI/MeasureTheory/Falconer/Radial/RadialDyadicBracket.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Selecting a retained dyadic scale for an arbitrary cap radius

  1. theorem OAI.Falconer.radial_dyadic_bracket line 10
  2. theorem OAI.Falconer.radial_dyadic_bracket_above line 28