Theorem RatFunc.ofFractionRing_eq

Modification history