∀ {X : AlgebraicGeometry.Scheme} (I : X.IdealSheafData) (U V : ↑X.affineOpens),
  RingHomClass
    (↑(X.presheaf.obj (Opposite.op ↑V)) →+*
      ↑((CategoryTheory.Limits.pullback (I.glueDataObjι U) (X.homOfLE ⋯)).presheaf.obj (Opposite.op ⊤)))
    ↑(X.presheaf.obj (Opposite.op ↑V))
    ↑((CategoryTheory.Limits.pullback (I.glueDataObjι U) (X.homOfLE ⋯)).presheaf.obj (Opposite.op ⊤))