OAI/MeasureTheory/Falconer/Fourier/TwoProfileDerivatives.lean
1 declarations, 0 contain sorry, 0 declared as axioms
One ambient derivative scale for the two original profile products
- theorem
OAI.Falconer.uniform_two_profile_derivativesline 12