Theorem List.flatMap_append_perm

Modification history