Theorem Set.eq_of_mem_singleton

Modification history