OAI/Geometry/Relativity/CKS/SphericalTensorIdentity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSSphericalChart.tensorPhi_derivatives line 13
2. theorem OAI.CKSSphericalChart.tensor_chart_divergence line 33
3. theorem OAI.CKSSphericalChart.tensor_chart_gradient line 65