Theorem List.tail_eq_of_cons_eq

Modification history