Theorem AlgebraicGeometry.Scheme.Opens.toScheme_presheaf_obj

Modification history