OAI/Analysis/RieszRectifiability/Surfaces/FiniteChartParameterPacking.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.finiteChartPackingFactor line 13
2. def OAI.RieszRectifiability.finiteChartParameterCenter line 15
3. theorem OAI.RieszRectifiability.finite_chart_parameter_center_mem line 18
4. theorem OAI.RieszRectifiability.finite_chart_parameter_centers_separated line 29
5. theorem OAI.RieszRectifiability.finite_chart_parameter_island_subset line 60