Theorem ProperCone.hyperplane_separation_point

Modification history