OAI/Geometry/TamingCompatibility/Charts/ChartTestPairing.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.MetricForms.pairing_zero_right line 16
2. lemma OAI.TamingCompatibility.AntiInvariantFrame.pairing_combination_mixed line 22
3. lemma OAI.TamingCompatibility.GeometricChart.pullback_anti line 41
4. def OAI.TamingCompatibility.GeometricChart.rawScalar line 56
5. lemma OAI.TamingCompatibility.GeometricChart.rawScalar_expansion line 59
6. lemma OAI.TamingCompatibility.GeometricChart.pairing_coordinateTest line 68
7. lemma OAI.TamingCompatibility.GeometricChart.manifoldTest_zero_off line 82
8. lemma OAI.TamingCompatibility.GeometricChart.pairing_manifoldTest_integral line 98