Def RatFunc.liftMonoidWithZeroHom

Modification history