Theorem List.concat_perm

Modification history