Theorem Finset.mem_smul_finset

Modification history