Def TopCat.Presheaf.IsSheafUniqueGluing

Modification history

2023-05-27 15:27

Mathlib/Topology/Sheaves/SheafCondition/UniqueGluing.lean

feat: port Topology.Sheaves.SheafCondition.UniqueGluing (#4424)

Added TopCat.Presheaf.IsSheafUniqueGluing View on Github →