Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-08-01 01:16
1f6c167d
View on Github →
chore(Data/Finsupp/Defs): remove superfluous DecidableEq (
#15301
) Found by the linter in
#10235
.
Estimated changes
Modified
Mathlib/Data/Finsupp/Defs.lean
modified
theorem
Finsupp.support_update_subset