OAI/Geometry/NodalSets/Elliptic/RealDifferentiatedEquation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.real_coordDiv_add line 9
2. lemma OAI.Yau.Geometry.real_coordDiv_partial line 15
3. def OAI.Yau.Geometry.realDerivativeErrorFlux line 24
4. lemma OAI.Yau.Geometry.realDerivativeErrorFlux_smooth line 28
5. lemma OAI.Yau.Geometry.realMatrixFlux_partial line 35
6. theorem OAI.Yau.Geometry.real_differentiated_density_equation line 45
7. lemma OAI.Yau.Geometry.real_density_equation_of_weighted line 66