Theorem ProperCone.dual_flip_dual

Modification history