Theorem interior_convexHull_nonempty_iff_affineSpan_eq_top

Modification history