Theorem Set.smul_set_nonempty

Modification history