Theorem Set.smul_set_subset_smul

Modification history