Theorem Basis.toMatrix_smul_left

Modification history