Theorem RatFunc.ofFractionRing_neg

Modification history