Theorem Set.smul_subset_iff

Modification history