OAI/MeasureTheory/Falconer/Estimates/EndpointDyadicScale.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Dyadic cutoff and power conversions for endpoint assembly

  1. theorem OAI.Falconer.dyadic_inverse_tendsto line 11
  2. theorem OAI.Falconer.dyadic_depth_of_inverse_lt line 22
  3. theorem OAI.Falconer.dyadic_inverse_rpow line 29
  4. theorem OAI.Falconer.dyadic_loss_conversion line 33