Theorem List.Perm.append_cons

Modification history