Theorem AlgebraicGeometry.noetherianSpace_of_isAffineOpen

Modification history