Theorem ProperCone.hyperplane_separation_of_notMem

Modification history