Theorem ProperCone.dual_iUnion

Modification history