Theorem RatFunc.toFractionRingRingEquiv_symm_eq

Modification history