Theorem AlgebraicGeometry.IsAffineOpen.fromSpecStalk_closedPoint

Modification history