Theorem IsFractionRing.isAlgebraic_iff

Modification history