Theorem Submodule.range_lsum_smul

Modification history

2026-02-26 23:39
Mathlib/LinearAlgebra/Finsupp/Span.lean
feat(LinearAlgebra/Finsupp): add lemmas about `lsum` and submodule (#35660) …
Added Submodule.range_lsum_smulView on Github →