Theorem Set.set_smul_subset_iff

Modification history