Theorem Set.smul_set_subset_mul

Modification history