Theorem RatFunc.liftAlgHom_injective

Modification history