Theorem Set.MapsTo.smul_set

Modification history