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

• (_ : IsNoetherianRing (R ⧸ I)) = (_ : IsNoetherianRing (R ⧸ I))