Theorem Submodule.mem_span_set

Modification history

2025-04-03 00:00

Mathlib/LinearAlgebra/Finsupp/LinearCombination.lean

chore: fix missing namespaces (#23565) …

Added Submodule.mem_span_set View on Github →