OAI/Geometry/NodalSets/Charts/SphereEnergyInnerProduct.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Target.sphereSmoothFunctions line 11
2. def OAI.Yau.Target.sphereSobolevForm line 17
3. theorem OAI.Yau.Target.sphereSobolevForm_pos line 20
4. def OAI.Yau.Target.sphereEnergyInnerCore line 28