OAI/MeasureTheory/Falconer/Estimates/NonendpointOneScale.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform nonendpoint one-scale radial improvement

This is one orientation of the preparation lemma. The input reverse caps are measured using the original probability laws and incoming pair relation.

  1. theorem OAI.Falconer.Regularization.nonendpoint_one_scale_gain line 18