OAI/Geometry/NodalSets/Coefficients/CoefficientMetricJets.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Yau.Geometry.CoefficientPoint line 11
2. abbrev OAI.Yau.Geometry.CoefficientDerivative line 14
3. abbrev OAI.Yau.Geometry.CoefficientFirstJet line 23
4. def OAI.Yau.Geometry.coefficientMetricValue line 26
5. def OAI.Yau.Geometry.coefficientMetricJet line 29
6. lemma OAI.Yau.Geometry.coefficientMetricValue_smoothAt line 32
7. lemma OAI.Yau.Geometry.coefficientMetricJet_continuousAt line 39
8. lemma OAI.Yau.Geometry.coefficientMetricJet_actual line 46