Theorem Set.subset_set_smul_iff₀

Modification history