OAI/MeasureTheory/Falconer/Radial/SingleClassRadialGain.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The single-scale radial gain for an actual regularization class
- theorem
OAI.Falconer.Regularization.single_class_radial_gainline 16