OAI/Geometry/NodalSets/Coefficients/CoordinateCorrection.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Yau.Coord line 11
2. def OAI.Yau.coordPartial line 13
3. def OAI.Yau.coordDiv line 16
4. def OAI.Yau.weightedDiv line 19
5. def OAI.Yau.pairing line 23
6. theorem OAI.Yau.coordDiv_mul line 26
7. theorem OAI.Yau.weightedDiv_mul line 40
8. theorem OAI.Yau.weighted_exact_correction line 61