Theorem ProperCone.subset_dual_dual

Modification history