Theorem Matrix.toLin_mul_apply

Modification history