Theorem ProperCone.dual_univ

Modification history