OAI/Geometry/TamingCompatibility/Hodge/HodgeNormalDistance.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.normalMap_physical_distance line 19
2. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.weighted_negative_lower line 63
3. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.gammaNormalWedge_weighted_lower line 78
4. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.gammaPatchWedge_weighted_lower line 139
5. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.globalLeadingWedge_weighted_lower line 174