Theorem Basis.toMatrix_smul

Modification history