Theorem ProperCone.innerDual_empty

Modification history