OAI/Geometry/CAT0Fillings/Radial/MetricSlope.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CAT0Fillings.MetricRadialParameters line 27
2. def OAI.CAT0Fillings.metricSpatialRadialSlope line 29
3. lemma OAI.CAT0Fillings.continuous_metricSpatialRadialSlope line 35
4. lemma OAI.CAT0Fillings.metricSpatialRadialForm_sub_original line 46
5. theorem OAI.CAT0Fillings.metricSpatialRadialForm_uniform_slope_bound line 54