mathlib documentation

ring_theory.quotient_noetherian

Noetherian quotient rings and quotient modules #

@[protected, instance]