Theorem TopCat.limit_isSheaf

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.limit_isSheafView on Github →
2023-05-19 05:51
Mathlib/Topology/Sheaves/Limits.lean
feat: port Topology.Sheaves.Limits (#4096)
Added TopCat.limit_isSheafView on Github →