Theorem List.getLast?_append_of_ne_nil

Modification history