Theorem Matrix.toLinAlgEquiv'_mul

Modification history