Commit 2024-08-06 17:59 37940a3b

View on Github →

feat(Data.List): Add List.nodup_permutations_iff (#15512)

Estimated changes

Modified Mathlib/Data/List/Perm.lean

added theorem List.nodup_permutations_iff

added theorem List.permutations_take_two