Theorem Submodule.mem_span_finset'

Modification history

2025-07-14 15:57
Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean
feat(LinearAlgebra/Finsupp/LinearCombination): add `Submodule.mem_span_finset'` (#27097) …
Added Submodule.mem_span_finset'View on Github →