Theorem RatFunc.ofFractionRing_inv

Modification history