Theorem List.getLast?_append_cons

Modification history