mathlib
ba5d1f63 - feat(linear_algebra/basic): add comap span lemmas (#5744)

Commit

4 years ago

feat(linear_algebra/basic): add comap span lemmas (#5744) We already had `map_span` but nothing for `comap`.

Author

ocfnash

Parents