Theorem Set.image_smul

Modification history