Theorem List.nil_eq_append_iff

Modification history