Theorem List.perm_comm

Modification history