mathlib3

chore(algebra/ring): change semiring_hom to ring_hom

#1361

Merged