Theorem basis_toMatrix_mul_linearMap_toMatrix

Modification history