Theorem RingHom.mapMatrix_id

Modification history