Theorem Finset.smul_subset_smul

Modification history