Theorem IsLinearMap.image_convexHull

Modification history