mathlib3

refactor(data/matrix/basic): Remove matrix.scalar

#8516

Open