Commit 2025-03-11 22:28 82bd96a2
View on Github →chore(Mathlib/Data/List/Cycle, Mathlib/GroupTheory/Perm/Cycle/Type): use multiset singleton instead of list singleton (#22598)
Use ({a} : Multiset α)
instead of (↑[a] : Multiset α)
.
chore(Mathlib/Data/List/Cycle, Mathlib/GroupTheory/Perm/Cycle/Type): use multiset singleton instead of list singleton (#22598)
Use ({a} : Multiset α)
instead of (↑[a] : Multiset α)
.