Theorem List.Pairwise.perm

Modification history