Theorem ProperCone.dual_sUnion

Modification history