Theorem convexHull_toCone_eq_sInf

Modification history