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