OAI/Analysis/RieszRectifiability/Flatness/NormalHeightFromPlaneMoments.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.normalCoordinate_abs_le_plane_distance line 14
2. theorem OAI.RieszRectifiability.normalCoordinate_memLp_on_ball line 23
3. theorem OAI.RieszRectifiability.normalized_normalCoordinate_memLp_on_ball line 30
4. theorem OAI.RieszRectifiability.normalCoordinate_second_moment_le_plane line 37
5. theorem OAI.RieszRectifiability.normalCoordinate_dyadic_source_bound line 53