Theorem AlgebraicGeometry.IsAffineOpen.primeIdealOf_genericPoint

Modification history