Theorem LinearEquiv.image_closure_of_convex'

Modification history