Theorem ProperCone.relative_hyperplane_separation

Modification history