OAI/Geometry/Relativity/CKS/CollarExpansionGeometry.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CKSAngularGeometry.physicalExpansion line 12
2. lemma OAI.CKSAngularGeometry.inverse_trace line 15
3. lemma OAI.CKSAngularGeometry.lie_normalization line 22
4. theorem OAI.CKSAngularGeometry.physicalExpansion_normalized line 38
5. theorem OAI.CKSAngularGeometry.radial_metric_deriv line 64