Theorem AlgebraicGeometry.Scheme.Spec_map_stalkMap_fromSpecStalk

Modification history