Theorem ProperCone.innerDual_singleton

Modification history