Theorem Basis.toMatrix_mul_toMatrix_flip

Modification history