Theorem mul_basis_toMatrix

Modification history