OAI/Analysis/RieszRectifiability/Flatness/PlaneSupportFromMoments.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.lipschitz_square_energy_lower_bound line 14
2. theorem OAI.RieszRectifiability.small_square_integrals_force_support_tube line 41
3. theorem OAI.RieszRectifiability.moving_plane_support_tube_of_moments line 70