Theorem ProperCone.mem_zero

Modification history