OAI/MeasureTheory/Falconer/Recursion/ProfilePairMass.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The original pair mass in its exact profile normalization

  1. theorem OAI.Falconer.regularized_pair_model_mass line 10