OAI/Geometry/Relativity/CKS/SourcePhysicalFoliation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CKSMixedGeometry.sourceLapse line 13
2. def OAI.CKSMixedGeometry.sourceU line 14
3. def OAI.CKSMixedGeometry.sourceT line 15
4. lemma OAI.CKSMixedGeometry.sourceLapse_regular line 18
5. lemma OAI.CKSMixedGeometry.sourceU_regular line 26
6. lemma OAI.CKSMixedGeometry.sourceT_regular line 32
7. lemma OAI.CKSMixedGeometry.sourceLapse_pullback line 40
8. lemma OAI.CKSMixedGeometry.sourceT_pullback line 45
9. lemma OAI.CKSMixedGeometry.sourceU_pullback line 51