Theorem RatFunc.liftOn_ofFractionRing_mk

Modification history