Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finsupp.linearCombination_single_index
Modification history
2025-01-30 22:16
Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean
refactor(Data/Finsupp/Weight): generalize and add lemmas (#20635) …
Added
Finsupp.linearCombination_single_index
View on Github →