Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-08-31 10:09
9748aeb7
View on Github →
feat(Data/Finsupp/Defs): Support of
f + single a b
(
#16076
)
Estimated changes
Modified
Mathlib/Data/Finsupp/Defs.lean
added
theorem
Finsupp.support_add_single
added
theorem
Finsupp.support_single_add