Theorem AlgebraicGeometry.isLocallyNoetherian_iff_of_affine_openCover

Modification history