∀ {X : AlgebraicGeometry.Scheme} (I : X.IdealSheafData) {V : ↑X.affineOpens} (f : ↑(X.presheaf.obj (Opposite.op ↑V))),
  AlgebraicGeometry.Scheme.Hom.opensRange (I.glueDataObjMap ⋯) =
    (TopologicalSpace.Opens.map (I.glueDataObjι V).base).obj
      ((TopologicalSpace.Opens.map (↑V).ι.base).obj (X.basicOpen f))