Theorem innerDualCone_eq_iInter_innerDualCone_singleton

Modification history