Theorem List.perm_cons_append_cons

Modification history