Theorem basis_toMatrix_mul_linearMap_toMatrix_mul_basis_toMatrix

Modification history