Theorem AlgebraicGeometry.isNoetherian_Spec

Modification history