Def CategoryTheory.GrothendieckTopology.sheafificationIsoPresheafToSheafCompSheafToPreasheaf

Modification history

2024-08-25 09:29
Mathlib/CategoryTheory/Sites/ConcreteSheafification.lean
chore(CategoryTheory/Sites): address a bunch of porting notes (#16092)
Deleted CategoryTheory.GrothendieckTopology.sheafificationIsoPresheafToSheafCompSheafToPreasheafView on Github →
2023-05-01 22:19
Mathlib/CategoryTheory/Sites/Sheafification.lean
feat: port CategoryTheory.Sites.LeftExact (#3706)
Added CategoryTheory.GrothendieckTopology.sheafificationIsoPresheafToSheafCompSheafToPreasheafView on Github →