Theorem List.last_append

Modification history