Theorem ConvexCone.innerDualCone_of_innerDualCone_eq_self

Modification history