OAI/Geometry/CylinderCovering/Caps/FiniteCylinders.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.HalfheightFinite.intrinsic_base_realization line 13
2. theorem OAI.CylinderCovering.HalfheightFinite.intrinsic_two_families line 25
3. theorem OAI.CylinderCovering.HalfheightFinite.intrinsic_finite_realization line 59