Def CategoryTheory.plusPlusSheafIsoPresheafToSheaf

Modification history

2024-01-09 21:58
Mathlib/CategoryTheory/Sites/LeftExact.lean
refactor(CategoryTheory/Sites): sheafification as an abstract left adjoint (#9012) …
Added CategoryTheory.plusPlusSheafIsoPresheafToSheafView on Github →