Theorem AlgebraicGeometry.Scheme.stalkClosedPointTo_fromSpecStalk

Modification history