Theorem ProperCone.innerDual_sUnion

Modification history