mathlib

0a93a3eb - refactor(data/matrix/basic): add `matrix.of` for type casting

refactor(data/matrix/basic): add `matrix.of` for type casting Without this, it is easier to get confused between matrix and pi types, which have different multiplication operators.