OAI/Geometry/TranslativeCovering/ResidualCaps.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ResidualCaps.unit line 37
2. lemma OAI.ResidualCaps.cap_unit line 40
3. lemma OAI.ResidualCaps.angle_unit line 47
4. lemma OAI.ResidualCaps.cap_monotone_threshold line 54