Theorem ProperCone.dual_dual_flip

Modification history