Theorem RingEquiv.mapMatrix_refl

Modification history