OAI/MeasureTheory/Falconer/Estimates/EndpointOneScale.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform endpoint 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.endpoint_one_scale_gain line 18