OAI/MeasureTheory/Falconer/Recursion/NonendpointScaleWindow.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The same original pair set can be improved throughout a dyadic scale window

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