OAI/Geometry/CylinderCovering/Radial/SqrtActual.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.RadialPairedSweep.actualRelativeCost_le line 13
2. lemma OAI.CylinderCovering.RadialSqrtCap.actual_family line 35
3. theorem OAI.CylinderCovering.RadialSqrtCap.full_square_root_actual line 53
4. theorem OAI.CylinderCovering.RadialSqrtCap.complete_square_root_cap line 83