Theorem List.getLast_tail

Modification history