Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-03-31 20:40
c5b05163
View on Github →
chore(Finset/Basic): drop an unneeded
DecidableEq
assumption (
#11796
)
Estimated changes
Modified
Mathlib/Data/Finset/Basic.lean