OAI/Analysis/RieszRectifiability/Surfaces/RescaledChildChartGluing.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.exists_ball_lipschitz_cover_of_rescaled_children line 14
2. theorem OAI.RieszRectifiability.small_parameter_ball_subset_double_ball line 46