Theorem IsFractionRing.isAlgebraic_iff'

Modification history