Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finsupp.mul_apply
Modification history
2023-01-29 02:02
Mathlib/Data/Finsupp/Pointwise.lean
feat: port Data.Finsupp.Pointwise (#1917)
Added
Finsupp.mul_apply
View on Github →