mathlib3 documentation

ring_theory.quotient_noetherian

Noetherian quotient rings and quotient modules #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

@[protected, instance]