OAI/MeasureTheory/Falconer/Radial/RadialRegularClasses.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual radial regularization classes from the finite-scale ball hypothesis

  1. theorem OAI.Falconer.Regularization.radial_regular_classes line 13