Theorem List.Perm.diff_left

Modification history