Theorem AlgebraicGeometry.Scheme.germ_stalkClosedPointTo_Spec

Modification history