Theorem AlgebraicGeometry.Spec_closedPoint

Modification history