OAI/Analysis/RieszRectifiability/Kernel/NonconcentrationPoint.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.exists_support_point_outside_small_set line 13
2. theorem OAI.RieszRectifiability.exists_support_point_away_from_plane line 26
3. theorem OAI.RieszRectifiability.exists_uniform_affine_escape_width line 48