Theorem Finsupp.linearCombination_restrict

Modification history

2025-01-06 07:44
Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean
chore(LinearIndependent): generalize to semirings (#20480) …
Added Finsupp.linearCombination_restrictView on Github →