Theorem AlgEquiv.mapMatrix_trans

Modification history