Theorem List.append_eq_has_append

Modification history