Theorem List.eq_of_mem_singleton

Modification history