Theorem evalRingHom_mapMatrix_comp_compRingEquiv

Modification history