Theorem ProperCone.dual_singleton

Modification history