Theorem RatFunc.liftRingHom_apply

Modification history