OAI/Geometry/CylinderCovering/Simplex/OverlapVolume.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.simplex_homothety_volume line 9
2. theorem OAI.CylinderCovering.affine_simplex_overlap_volume line 17
3. theorem OAI.CylinderCovering.affine_simplex_overlap_volume_lt_reciprocal line 29
4. theorem OAI.CylinderCovering.translated_intersection_eq line 43
5. theorem OAI.CylinderCovering.simplex_overlap_volume line 55
6. theorem OAI.CylinderCovering.tetrahedron_overlap_volume line 66
7. theorem OAI.CylinderCovering.tetrahedron_translated_overlap_volume line 74