Update src/linear_algebra/basic.lean

Commit

4 years ago

Update src/linear_algebra/basic.lean Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>