Theorem List.mem_of_mem_getLast?

Modification history