Theorem LinearMap.image_convexHull

Modification history