Theorem List.head_eq_of_cons_eq

Modification history