Theorem ProperCone.innerDual_univ

Modification history