Theorem RatFunc.liftRingHom_apply_div'

Modification history