Theorem List.mem_of_mem_dropLast

Modification history