OAI/Geometry/Relativity/CKS/ScalarThreeJets.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CKSAngularGeometry.ScalarThreeJet line 11
  2. def OAI.CKSAngularGeometry.actualThreeJet line 12
  3. def OAI.CKSAngularGeometry.constantThreeJet line 14
  4. def OAI.CKSAngularGeometry.productThreeJet line 15
  5. def OAI.CKSAngularGeometry.reciprocalThreeJet line 17
  6. lemma OAI.CKSAngularGeometry.actualThreeJet_const line 20
  7. lemma OAI.CKSAngularGeometry.actualThreeJet_zero line 32
  8. lemma OAI.CKSAngularGeometry.actualThreeJet_linear line 35
  9. lemma OAI.CKSAngularGeometry.actualThreeJet_smul line 43
  10. lemma OAI.CKSAngularGeometry.actualThreeJet_add line 47
  11. lemma OAI.CKSAngularGeometry.actualThreeJet_neg line 52
  12. lemma OAI.CKSAngularGeometry.actualThreeJet_sub line 56
  13. theorem OAI.CKSAngularGeometry.actualThreeJet_mul line 61
  14. theorem OAI.CKSAngularGeometry.actualThreeJet_reciprocal line 81
  15. lemma OAI.CKSAngularGeometry.productThreeJet_smooth line 101
  16. lemma OAI.CKSAngularGeometry.reciprocalThreeJet_smooth line 110