Theorem TopCat.Presheaf.isSheaf_iff_isSheafUniqueGluing

Modification history

2023-05-27 15:27
Mathlib/Topology/Sheaves/SheafCondition/UniqueGluing.lean
feat: port Topology.Sheaves.SheafCondition.UniqueGluing (#4424)
Added TopCat.Presheaf.isSheaf_iff_isSheafUniqueGluingView on Github →