Theorem innerDualCone_empty

Modification history