Theorem Set.op_smul_set_subset_mul

Modification history