Theorem List.perm_nodupkeys

Modification history