Theorem RatFunc.liftAlgHom_apply

Modification history