:: deftheorem defines canHom_Z/ RING_3:def 12 :
for p being Prime
for F being Field holds canHom_Z/ (p,F) = (canHom_Int F) | the carrier of (Z/ p);