Theorem Set.mem_smul

Modification history