no goals
C : Type u
inst✝ : Category C
X : TopCat
F : Presheaf C X
⊢ IsSheaf F ↔ IsSheafPairwiseIntersections F
rw [isSheaf_iff_isSheafOpensLeCover,
  isSheafOpensLeCover_iff_isSheafPairwiseIntersections]