Theorem TopCat.Sheaf.existsUnique_gluing'

Modification history

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