OAI/MeasureTheory/Falconer/Geometry/FarNormalization.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Dimensional gain and exact profile normalization of the far term

  1. theorem OAI.Falconer.far_sphere_gain line 10
  2. theorem OAI.Falconer.profile_far_prefactor line 40