Theorem RatFunc.toFractionRing_injective

Modification history