Theorem Set.subset_set_smul_iff

Modification history