Theorem List.getLast_append'

Modification history