OAI/MeasureTheory/Falconer/Recursion/ScalarProductPotential.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The inverse-distance potential of the separated scalar product, obtained from its interpolated finite Frostman estimate.

  1. theorem OAI.Falconer.scalar_product_dyadic_potential line 10