Theorem List.getLast_concat

Modification history