Theorem List.append_eq_cons_iff

Modification history