Theorem AlgebraicGeometry.Scheme.Spec_fromSpecStalk

Modification history