Theorem AlgebraicGeometry.Scheme.Opens.toScheme_presheaf_map

Modification history