Theorem IsLinearMap.convexHull_image

Modification history