Theorem Set.mem_smul_set

Modification history