OAI/Geometry/TamingCompatibility/Hodge/HodgeTestPairing.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.HodgeChart.pairing_coordinateTest line 18
2. lemma OAI.TamingCompatibility.HodgeChart.pairing_manifoldTest_integral line 33
3. lemma OAI.TamingCompatibility.ComplexMatrix.product_embed_schwartz line 83
4. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_smooth_pair line 106
5. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_rhs_component_test line 114
6. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_raw_weighted_pair line 139