OAI/Analysis/RieszRectifiability/Rigidity/PlaneHeightDistribution.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.coordinatePlaneMeasure_affine_eq_map line 13
2. theorem OAI.RieszRectifiability.polynomialDecay_affine_pullback_le line 21
3. theorem OAI.RieszRectifiability.polynomial_weight_integrable_affine_pullback line 36
4. theorem OAI.RieszRectifiability.exists_intrinsic_height_distribution_from_tail line 54