OAI/MeasureTheory/Falconer/Estimates/ParallelScaleMean.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The manuscript parallel-test mean at its actual width
- theorem
OAI.Falconer.Regularization.sourceClass_parallel_scale_meanline 12