Theorem RatFunc.liftRingHom_apply_div

Modification history