Theorem TopCat.isSheaf_of_isLimit

Modification history

2025-03-05 21:20
Mathlib/Topology/Sheaves/Limits.lean
chore(Geometry/RingedSpace): generalize universe assumptions for limits and colimits (#22543)
Modified TopCat.isSheaf_of_isLimitView on Github →
2023-05-19 05:51
Mathlib/Topology/Sheaves/Limits.lean
feat: port Topology.Sheaves.Limits (#4096)
Added TopCat.isSheaf_of_isLimitView on Github →