Theorem List.append_concat

Modification history