Def TopCat.Presheaf.IsSheaf

Modification history

2023-05-29 10:13

Mathlib/Topology/Sheaves/Sheaf.lean

chore: tidy various files (#4466)

Deleted TopCat.Presheaf.IsSheaf View on Github →

2023-05-18 18:22

Mathlib/Topology/Sheaves/Sheaf.lean

feat: port Topology.Sheaves.Sheaf (#4088)

Added TopCat.Presheaf.IsSheaf View on Github →