OAI/Geometry/CylinderCovering/Radial/PartitionAffine.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.RadialRiemann.step_affine line 10
2. theorem OAI.CylinderCovering.RadialRiemann.point_affine line 15
3. theorem OAI.CylinderCovering.RadialRiemann.affine_mem_cell_iff line 21
4. theorem OAI.CylinderCovering.RadialRiemann.image_cell_affine line 28
5. theorem OAI.CylinderCovering.RadialRiemann.isTagged_affine_iff line 44
6. theorem OAI.CylinderCovering.RadialRiemann.IsTagged.affine line 51
7. theorem OAI.CylinderCovering.RadialRiemann.IsTagged.affine_inverse line 56
8. theorem OAI.CylinderCovering.RadialRiemann.capMax_affine line 66
9. theorem OAI.CylinderCovering.RadialRiemann.IsTagged.div_pos line 73
10. theorem OAI.CylinderCovering.RadialRiemann.div_mem_symmetric_cell_iff line 80
11. theorem OAI.CylinderCovering.RadialRiemann.barycentric_mem_cell_iff line 86
12. theorem OAI.CylinderCovering.RadialRiemann.IsTagged.barycentric line 93