Theorem TopCat.Presheaf.toTypes_isSheaf

Modification history

2025-04-22 10:51
Mathlib/Topology/Sheaves/SheafOfFunctions.lean
chore: generalize universes for (pre)sheaves of types (#22824)
Modified TopCat.Presheaf.toTypes_isSheafView on Github →
2023-05-28 08:49
Mathlib/Topology/Sheaves/SheafOfFunctions.lean
feat: port Topology.Sheaves.SheafOfFunctions (#4426)
Added TopCat.Presheaf.toTypes_isSheafView on Github →