Def RatFunc.toFractionRingRingEquiv

Modification history