Theorem Matrix.reindexAlgEquiv_mul

Modification history