mathlib3

doc(linear_algebra/basic): add module and declaration doc strings

#1501

Merged