OAI/Geometry/Relativity/CKS/PhysicalConnectionRegularity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSAngularGeometry.matrix_det_contDiffAt line 11
2. lemma OAI.CKSAngularGeometry.matrix_inv_component_contDiffAt line 18
3. lemma OAI.CKSAngularGeometry.coordinateChristoffel_contDiffAt line 46
4. lemma OAI.CKSAngularGeometry.variable_direction_smooth line 65
5. lemma OAI.CKSAngularGeometry.covariantVector_contDiffAt line 71
6. lemma OAI.CKSAngularGeometry.metricPair_contDiffAt line 86
7. lemma OAI.CKSAngularGeometry.frameCoefficient_contDiffAt line 98