Theorem RatFunc.ofFractionRing_mk'

Modification history