Theorem ProperCone.dual_empty

Modification history