Theorem List.eq_cons_of_mem_head?

Modification history