Theorem List.Perm.diff

Modification history