Theorem AlgebraicGeometry.noetherianSpace_of_isAffine

Modification history