Theorem List.last_concat

Modification history