Numeric.Ring.Rng

data RngRing r

rngRingHom

liftRngHom