{X : AlgebraicGeometry.Scheme} →
  (I : X.IdealSheafData) →
    (U V : ↑X.affineOpens) →
      AlgebraicGeometry.Scheme.IdealSheafData.glueDataObjPullback✝ I U V ⟶
        AlgebraicGeometry.Scheme.IdealSheafData.glueDataObjPullback✝¹ I V U