Theorem IsFractionRing.comap_isAlgebraic_iff

Modification history