Theorem List.mem_singleton

Modification history