Theorem ProperCone.innerDual_insert

Modification history