Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
add_monoid_hom.map_dfinsupp_sum_add_hom
Modification history
2021-07-27 19:34
src/data/dfinsupp.lean
chore(data/dfinsupp): add yet more map_dfinsupp_sum lemmas (#8400) …
Modified
add_monoid_hom.map_dfinsupp_sum_add_hom
View on Github →
2021-02-04 18:03
src/data/dfinsupp.lean
chore(data/dfinsupp): add simp lemmas about sum_add_hom, remove commutativity requirement (#5939) …
Added
add_monoid_hom.map_dfinsupp_sum_add_hom
View on Github →