Theorem evalRingHom_mapMatrix_comp_polyToMatrix

Modification history