Def CategoryTheory.GrothendieckTopology.Subpresheaf.homOfLe

Modification history

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 →