Theorem ProperCone.mem_dual

Modification history