OAI/Geometry/Relativity/CKS/AngularCoefficientBounds.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSAngularSlice.normalized_angular_two line 11
2. lemma OAI.CKSAngularSlice.normalized_angular_three line 24
3. lemma OAI.CKSAngularSlice.radial_value_le_jet line 37
4. lemma OAI.CKSAngularSlice.normalized_radial_value line 42
5. lemma OAI.CKSAngularSlice.normalized_value line 48
6. lemma OAI.CKSAngularSlice.angular_radial_two_le_three line 56
7. lemma OAI.CKSAngularSlice.normalized_angular_radial_two line 64