Theorem RatFunc.toFractionRing_eq

Modification history