Def Finsupp.bilinearCombination

Modification history

2025-03-08 10:36
Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean
feat(LinearAlgebra/Finsupp/linearCombination): add bilinearCombination (#22678) …
Added Finsupp.bilinearCombinationView on Github →