Theorem RatFunc.ofFractionRing_sub

Modification history