Theorem Finset.smul_mem_smul_finset

Modification history