OAI/Geometry/CylinderCovering/Caps/Caps.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.HalfHeightCaps.covered_of_padding line 10
2. theorem OAI.CylinderCovering.HalfHeightCaps.cubic_dictionary line 44
3. theorem OAI.CylinderCovering.HalfHeightCaps.cubic_covers line 49
4. theorem OAI.CylinderCovering.HalfHeightCaps.fractional_covers line 59
5. theorem OAI.CylinderCovering.HalfHeightCaps.fractional_dictionary line 74
6. theorem OAI.CylinderCovering.HalfHeightCaps.halfheight_coverage line 84
7. theorem OAI.CylinderCovering.HalfHeightCaps.compensation line 90
8. theorem OAI.CylinderCovering.HalfHeightCaps.physical_covers_of_covered line 95
9. theorem OAI.CylinderCovering.HalfHeightCaps.halfheight_physical_coverage line 110
10. theorem OAI.CylinderCovering.HalfHeightCaps.fractional_defect line 115