OAI/MeasureTheory/Falconer/Estimates/RelativeRegularizationGain.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Recombining a relative radial refinement of each actual regularization class

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