Theorem LinearMap.image_closure_of_convex

Modification history