Theorem LinearMap.convexHull_image

Modification history