Noetherian quotient rings and quotient modules

instance Ideal.Quotient.isNoetherianRing {R : Type u_1} [CommRing R] [IsNoetherianRing R] (I : Ideal R) : IsNoetherianRing (R ⧸ I)

Equations

• @Ideal.Quotient.isNoetherianRing = @Ideal.Quotient.isNoetherianRing.proof_1