OAI/Geometry/Relativity/CKS/BoostSubstitution.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSLorentz.flowEnergy_normalized line 12
2. lemma OAI.CKSLorentz.flowD_normalized line 22
3. lemma OAI.CKSLorentz.flowS_normalized line 28
4. lemma OAI.CKSLorentz.flowPhi_normalized line 37
5. theorem OAI.CKSLorentz.boost_area_substitution line 43
6. lemma OAI.CKSLorentz.inverse_null_boundary line 50