Theorem Set.mem_diff_singleton

Modification history