Theorem ProperCone.hyperplane_separation

Modification history