OAI/Geometry/Relativity/CKS/ConstraintCanonical.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSIntrinsicConstraints.ConstraintChart.compare line 12
2. lemma OAI.CKSIntrinsicConstraints.chart_exists_of_DECAt line 35
3. theorem OAI.CKSIntrinsicConstraints.exists_canonical_constraint_densities line 40