Theorem List.concat_append

Modification history