Theorem List.modifyLast_append_one

Modification history