Theorem List.filter_append_perm

Modification history