OAI/Geometry/NodalSets/Coefficients/CoefficientLocality.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.metricGradient_eventuallyEq line 12
2. lemma OAI.Yau.Geometry.sourceHessian_eventuallyEq line 19
3. lemma OAI.Yau.Geometry.sourceOperator_coefficients_eventuallyEq line 27
4. lemma OAI.Yau.Geometry.sourceResidual_coefficients_derivative_eq line 37