Theorem RatFunc.ofFractionRing_add

Modification history