Theorem List.cons_eq_append_iff

Modification history