Theorem AlgebraicGeometry.Scheme.germ_stalkClosedPointTo

Modification history