Theorem Finset.image_smul_product

Modification history