Theorem List.append_eq_nil

Modification history