OAI/Geometry/CylinderCovering/Convexity/ThresholdRemainder.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.ThresholdRemainder.inverse_threshold_remainder line 7
2. theorem OAI.CylinderCovering.ThresholdRemainder.padding_absorbs_at_threshold line 85
3. theorem OAI.CylinderCovering.ThresholdRemainder.padding_absorbs_above_threshold line 97
4. theorem OAI.CylinderCovering.ThresholdRemainder.padding_absorbs_above_threshold_general line 111