Theorem AlgebraicGeometry.Scheme.Spec_stalkClosedPointTo_fromSpecStalk

Modification history