Theorem AlgebraicGeometry.Scheme.Opens.toSpecΓ_SpecMap_map

Modification history