mathlib3
e2edca2d - feat(linear_algebra/finsupp): add lemmas to deal with `span (range v)`. (#17441)

Commit

3 years ago

feat(linear_algebra/finsupp): add lemmas to deal with `span (range v)`. (#17441) Co-authored-by: Jon Eugster <eugster.jon@gmail.com>

Author

Jon Eugster

Parents