Def CategoryTheory.GrothendieckTopology.Subpresheaf.homOfLe

Modification history

2025-01-10 20:24
Mathlib/CategoryTheory/Sites/Subsheaf.lean
chore(CategoryTheory): moving/renaming Subpresheaf (#20583) …
Deleted CategoryTheory.GrothendieckTopology.Subpresheaf.homOfLeView on Github →
2023-09-14 13:42
Mathlib/CategoryTheory/Sites/Subsheaf.lean
style: fix wrapping of `where` (#7149)
Modified CategoryTheory.GrothendieckTopology.Subpresheaf.homOfLeView on Github →
2023-05-16 18:39
Mathlib/CategoryTheory/Sites/Subsheaf.lean
feat: port CategoryTheory.Sites.Subsheaf (#3997)
Added CategoryTheory.GrothendieckTopology.Subpresheaf.homOfLeView on Github →