Theorem ProperCone.innerDual_innerDual

Modification history