mathlib
105935c0 - feat(linear_algebra/finite_dimensional): characterizations of finrank = 1 and ≤ 1 (#7354)

Commit

4 years ago

feat(linear_algebra/finite_dimensional): characterizations of finrank = 1 and ≤ 1 (#7354) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents