Theorem List.getLast_reverse

Modification history