Theorem Set.smul_mem_smul_set_iff

Modification history