Noetherianness is quotient-closed: Difference between revisions