mathlib3

c9d4567e - lint(data/matrix/basic): add definition docstrings (#4478)