Theorem Submodule.mem_span_iff_of_fintype

Modification history

2025-09-21 20:41

Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean

feat(Algebra): add `mem_closure_iff_of_fintype` and `mem_closure_finset'` (#29793) …

Added Submodule.mem_span_iff_of_fintype View on Github →