Theorem Matrix.toLinearMap₂'_apply

Modification history