∀ {X : AlgebraicGeometry.Scheme} (𝒰 : X.OpenCover) (x : ↥(AlgebraicGeometry.Scheme.Cover.gluedCover 𝒰).glued),
  CategoryTheory.IsIso (AlgebraicGeometry.Scheme.Hom.stalkMap (AlgebraicGeometry.Scheme.Cover.fromGlued 𝒰) x)