OAI/Geometry/Relativity/CKS/SourceMassRegularity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSMixedGeometry.sourceTangentialK_regular line 12
2. lemma OAI.CKSMixedGeometry.sourceRadialMetric_regular line 18
3. lemma OAI.CKSMixedGeometry.sourceSchur_regular line 24
4. lemma OAI.CKSMixedGeometry.sourceExpansion_regular line 31
5. lemma OAI.CKSMixedGeometry.sourcePhysicalMass_regular line 42
6. lemma OAI.CKSMixedGeometry.sourceAspect_regular line 57