OAI/MeasureTheory/Falconer/Angular/OuterAngularDecay.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Power decay at a proved common entry depth of the original profiles

  1. theorem OAI.Falconer.exists_uniform_outer_angular_decay line 12