Def RatFunc.liftRingHom

Modification history