OAI/Geometry/CylinderCovering/Caps/FiniteTheorem.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.HalfheightFinite.family_conclusion_of_covered line 14
2. theorem OAI.CylinderCovering.HalfheightFinite.cubic_family line 25
3. theorem OAI.CylinderCovering.HalfheightFinite.fractional_family line 31
4. theorem OAI.CylinderCovering.HalfheightFinite.eventually_cubic_family line 37
5. theorem OAI.CylinderCovering.HalfheightFinite.eventually_fractional_family line 42
6. theorem OAI.CylinderCovering.HalfheightFinite.full_halfheight line 50