Theorem CategoryTheory.GrothendieckTopology.toSheafification_app

Modification history

2024-01-09 21:58
Mathlib/CategoryTheory/Sites/ConcreteSheafification.lean
refactor(CategoryTheory/Sites): sheafification as an abstract left adjoint (#9012) …
Modified CategoryTheory.GrothendieckTopology.toSheafification_appView on Github →
2023-04-13 11:38
Mathlib/CategoryTheory/Sites/Sheafification.lean
feat: port CategoryTheory.Sites.Sheafification (#3387)
Added CategoryTheory.GrothendieckTopology.toSheafification_appView on Github →