Theorem CategoryTheory.GrothendieckTopology.OneHypercoverFamily.IsSheafIff.fac'

Modification history

2024-06-05 03:13

Mathlib/CategoryTheory/Sites/IsSheafOneHypercover.lean

feat(CategoryTheory/Sites): characterization of sheaves using 1-hypercovers (#13004) …

Added CategoryTheory.GrothendieckTopology.OneHypercoverFamily.IsSheafIff.fac'View on Github →