Theorem RatFunc.ofFractionRing_mul

Modification history