Theorem ProperCone.dual_le_dual

Modification history