Theorem RatFunc.liftRingHom_injective

Modification history