Theorem AlgebraicGeometry.Scheme.germ_stalkClosedPointTo_Spec_fromSpecStalk

Modification history