Theorem RatFunc.toFractionRing_smul

Modification history