Theorem ProperCone.dual_zero

Modification history