Documentation

Mathlib.AlgebraicGeometry.PrimeSpectrum.Noetherian

This file proves additional properties of the prime spectrum a ring is Noetherian.