OAI/Geometry/Relativity/CKS/SphericalDivergence.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSSphericalChart.projected_test line 12
2. lemma OAI.CKSSphericalChart.dPair_expansion line 25
3. lemma OAI.CKSSphericalChart.divergence_test line 38
4. lemma OAI.CKSSphericalChart.divergence_frame line 63
5. lemma OAI.CKSSphericalChart.gradient_test line 71