Theorem List.mem_singleton_self

Modification history