Theorem Matrix.mul_reindexLinearEquiv_one

Modification history