mathlib

3c58f160 - doc(linear_algebra/basic): add module and declaration doc strings (#1501)

doc(linear_algebra/basic): add module and declaration doc strings (#1501) * doc(linear_algebra/basic): declaration doc strings * doc(linear_algebra/basic): improve module doc * Update src/linear_algebra/basic.lean Co-Authored-By: Floris van Doorn <fpvdoorn@gmail.com>