Theorem AlgebraicGeometry.finite_irreducibleComponents_of_isNoetherian

Modification history