Theorem ProperCone.dual_union

Modification history