Theorem Set.smul_subset_smul_right

Modification history