Theorem Fintype.bilinearCombination_apply_single

Modification history

2025-03-08 10:36

Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean

feat(LinearAlgebra/Finsupp/linearCombination): add bilinearCombination (#22678) …

Added Fintype.bilinearCombination_apply_single View on Github →