Theorem CategoryTheory.Sheaf.isDiscrete_iff_of_equivalence

Modification history

2024-09-04 11:42

Mathlib/CategoryTheory/Sites/Discrete.lean

chore(CategoryTheory/Sites): remove unused lemmas and simplify some proofs in Sites.Discrete (#16385) …

Deleted CategoryTheory.Sheaf.isDiscrete_iff_of_equivalence View on Github →

2024-07-15 20:56

Mathlib/CategoryTheory/Sites/Discrete.lean

feat(CategoryTheory/Sites): discrete sheaves (#13947) …

Added CategoryTheory.Sheaf.isDiscrete_iff_of_equivalence View on Github →