OAI/Geometry/TamingCompatibility/Hodge/HodgeWedgeMassUpper.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricHilbert.separating_current_wedge_upper line 27
2. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.same_resolvent_angularNear_point line 72
3. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.physicalProfile_integrable line 116
4. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.physicalProfile_integral_bound line 130
5. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.separating_current_angular_moment line 166