Theorem Set.image_smul_prod

Modification history