OAI/Geometry/Relativity/CKS/MatrixThreeJets.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CKSAngularGeometry.MatrixThreeJet line 11
2. def OAI.CKSAngularGeometry.matrixThreeJets line 13
3. def OAI.CKSAngularGeometry.determinantThreeJet line 16
4. def OAI.CKSAngularGeometry.inverseMatrixThreeJet line 19
5. lemma OAI.CKSAngularGeometry.actualThreeJet_sum line 23
6. lemma OAI.CKSAngularGeometry.actual_determinantThreeJet line 37
7. lemma OAI.CKSAngularGeometry.actual_inverseMatrixThreeJet line 45
8. lemma OAI.CKSAngularGeometry.determinantThreeJet_value line 65
9. lemma OAI.CKSAngularGeometry.determinantThreeJet_smooth line 68
10. lemma OAI.CKSAngularGeometry.inverseMatrixThreeJet_smooth line 73