Theorem Set.image2_smul

Modification history