Theorem Finset.smul_subset_iff

Modification history