Theorem ProperCone.pointed_toConvexCone

Modification history