Theorem List.Perm.pairwise

Modification history