Theorem linearMap_toMatrix_mul_basis_toMatrix

Modification history