Theorem AlgebraicGeometry.Scheme.stalkClosedPointTo_comp

Modification history