Theorem Basis.toMatrix_transpose_apply

Modification history