Theorem ProperCone.hyperplane_separation'

Modification history