Theorem innerDualCone_singleton

Modification history