Theorem RatFunc.liftAlgHom_apply_div'

Modification history