Theorem Set.Finite.convexHull_eq

Modification history