Commit 2023-05-19 05:51 ee4307da

View on Github →

feat: port Topology.Sheaves.Limits (#4096)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/CategoryTheory/Sites/Limits.lean

Created Mathlib/Topology/Sheaves/Limits.lean

added theorem TopCat.isSheaf_of_isLimit

added theorem TopCat.limit_isSheaf