Theorem Matrix.toLinearMap₂'_stdBasis

Modification history