OAI/Geometry/TamingCompatibility/DifferentialForms/RadialGeometricCoefficient.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.GeometricChart.antiDdcVector line 22
2. lemma OAI.TamingCompatibility.GeometricChart.antiDdcVector_smooth line 28
3. lemma OAI.TamingCompatibility.GeometricChart.anti_ddc_apply_vector line 39
4. def OAI.TamingCompatibility.GeometricChart.radialSourceVector line 49
5. lemma OAI.TamingCompatibility.GeometricChart.radialSourceVector_smooth line 52
6. def OAI.TamingCompatibility.GeometricChart.radialSourceExtension line 57
7. lemma OAI.TamingCompatibility.GeometricChart.anti_ddc_radialSourceExtension line 62
8. lemma OAI.TamingCompatibility.ManifoldForms.complexDifferential_zero_of_eventually line 88
9. lemma OAI.TamingCompatibility.ManifoldForms.anti_ddc_zero_off line 98
10. def OAI.TamingCompatibility.GeometricChart.radialScalarSource line 122
11. lemma OAI.TamingCompatibility.GeometricChart.radialScalarSource_support line 129
12. def OAI.TamingCompatibility.GeometricChart.radialPairSource line 133
13. lemma OAI.TamingCompatibility.GeometricChart.radialPairSource_apply line 137
14. lemma OAI.TamingCompatibility.GeometricChart.radialPairSource_support line 142
15. lemma OAI.TamingCompatibility.GeometricChart.radialPairSource_compact line 149
16. lemma OAI.TamingCompatibility.GeometricChart.anti_ddc_eq_manifoldTest line 153