Theorem Set.smul_set_disjoint_iff

Modification history