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 →