Theorem Set.mem_singleton

Modification history