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 α).

Estimated changes