Theorem ProperCone.dual_insert

Modification history