Theorem Finset.smul_mem_smul_finset_iff

Modification history