Theorem ProperCone.innerDual_union

Modification history