Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-01-28 13:17
c43c709f
View on Github →
fix(data/dfinsupp): fix overly strict type-class arguments (
#5935
)
Estimated changes
Modified
src/data/dfinsupp.lean
modified
theorem
monoid_hom.coe_dfinsupp_prod
modified
theorem
monoid_hom.dfinsupp_prod_apply
modified
theorem
monoid_hom.map_dfinsupp_prod