Theorem basis_toMatrix_mul

Modification history