Renamed `NoetherianRing` to `Noetherian'