Theorem List.perm_permutations'_iff

Modification history