OAI/Geometry/CylinderCovering/Angular/EqualPartition.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.AngularEqualPartition.left_endpoint line 7
2. lemma OAI.CylinderCovering.AngularEqualPartition.right_endpoint line 10
3. lemma OAI.CylinderCovering.AngularEqualPartition.width line 16
4. lemma OAI.CylinderCovering.AngularEqualPartition.strictly_increasing line 22
5. lemma OAI.CylinderCovering.AngularEqualPartition.absolute_bound line 29
6. theorem OAI.CylinderCovering.AngularEqualPartition.partition_laws line 39