Theorem List.Perm.diff_right

Modification history