Theorem RatFunc.liftMonoidWithZeroHom_apply_ofFractionRing_mk

Modification history