Theorem Matrix.reindexLinearEquiv_comp_apply

Modification history