Theorem TopCat.Sheaf.eq_of_locally_eq'

Modification history

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