Theorem Finsupp.single_mul

Modification history

2023-11-13 17:59
Mathlib/Data/Finsupp/Pointwise.lean
fix(Mathlib/Algebra/Lie/DirectSum): remove unused `R` argument from lemmas (#8388) …
Added Finsupp.single_mulView on Github →