Commit 2024-02-14 09:39 a2490783

View on Github →

feat: DecidableEq for Multiset.ToType (#10505) Also clean up some of the documentation, for instance removing the claim that you shouldn't use Multiset.ToType directly.

Estimated changes

Modified Mathlib/Data/Multiset/Fintype.lean

modified def Multiset.ToType