OAI/Geometry/CylinderCovering/Radial/TetraGeometry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.RadialPairedSweep.tetrahedron_eq_neg_cubic line 11
2. lemma OAI.CylinderCovering.RadialPairedSweep.shadowArea_eq_cubic line 31
3. lemma OAI.CylinderCovering.RadialPairedSweep.reference_shadow_lower line 47
4. lemma OAI.CylinderCovering.RadialPairedSweep.reference_minimum line 52
5. theorem OAI.CylinderCovering.RadialPairedSweep.reference_area line 58
6. lemma OAI.CylinderCovering.RadialPairedSweep.relativeCost_le_normalized_area line 61
7. theorem OAI.CylinderCovering.RadialPairedSweep.half_cost line 73