Theorem ProperCone.innerDual_iUnion

Modification history