Theorem Basis.toMatrix_eq_toMatrix_constr

Modification history