Numeric.Ring.Rng
data
RngRing
r
rngRingHom
liftRngHom