Theorem AlgHom.mapMatrix_id

Modification history