Theorem Set.smul_set_subset_iff

Modification history