Theorem ProperCone.innerDual_zero

Modification history