Theorem AlgEquiv.mapMatrix_refl

Modification history