Theorem Set.smul_subset_smul_left

Modification history