mathlib
da06587c - feat(linear_algebra): A-linear maps between finite dimensional vector spaces over k are finite dimensional (#13934)

Commit

3 years ago

feat(linear_algebra): A-linear maps between finite dimensional vector spaces over k are finite dimensional (#13934) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

4dfbcac3

mathlib da06587c - feat(linear_algebra): A-linear maps between finite dimensional vector spaces over k are finite dimensional (#13934)

mathlib
da06587c - feat(linear_algebra): A-linear maps between finite dimensional vector spaces over k are finite dimensional (#13934)