doc(linear_algebra/basis): add doc (#1503)
doc(linear_algebra/basis): add doc (#1503)

* doc(linear_algebra/basis): add doc

* doc(linear_algebra/basis): shorten docstrings

leanprover-community/mathlib,leanprover-community/mathlib