OAI/Geometry/TranslativeCovering/CapAffinity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CapAffinity.chord_angle line 23
2. lemma OAI.CapAffinity.halfcap_overlap line 35
3. def OAI.CapAffinity.signed line 63
4. lemma OAI.CapAffinity.halfcap_signed_mass line 67
5. lemma OAI.CapAffinity.cap_eq_union line 72
6. lemma OAI.CapAffinity.cap_mass line 79
7. lemma OAI.CapAffinity.projective_le_signed line 97
8. lemma OAI.CapAffinity.doublecap_overlap line 108