Theorem Set.zero_mem_smul_set_iff

Modification history