Theorem isAlgebraic_of_isFractionRing

Modification history