OAI/Analysis/RieszRectifiability/Main.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Quantitative Riesz rectifiability
The restart surface-piece construction feeds the uniform theorem, whose positive mass fraction and finite Lipschitz bound are chosen before the measure and its support ball.
This file declares nothing itself. It gathers the 5 imports below, so a file that imports it gets all of them.