Theorem RatFunc.ofFractionRing_zero

Modification history