OAI/Geometry/Relativity/CKS/CKSCollarSourceData.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CKSMixedGeometry.sourceCollarData line 15
2. structure OAI.CKSMixedGeometry.TensorFields.LogComponentBound line 26
3. lemma OAI.CKSMixedGeometry.sourceCollarData_regular line 38
4. theorem OAI.CKSMixedGeometry.cks_sourceCollarData_bounded line 47