Theorem List.mem_head?_append_of_mem_head?

Modification history