OAI/Geometry/CAT0Fillings/Calculus/PositiveBivariate.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.ChartGeometry.clamp_gradient_scalar line 15
2. lemma OAI.CAT0Fillings.ChartGeometry.closed_clamp line 22
3. lemma OAI.CAT0Fillings.ChartGeometry.closed_positive_bivariate line 40
4. lemma OAI.CAT0Fillings.ChartGeometry.closed_positive_clamped_bivariate line 66