Theorem AlgebraicGeometry.Scheme.Spec_fromSpecStalk'

Modification history