Theorem CategoryTheory.GrothendieckTopology.W_isInvertedBy_whiskeringRight_presheafToSheaf

Modification history

2024-05-24 08:53
Mathlib/CategoryTheory/Sites/PreservesSheafification.lean
feat(CategoryTheory/Sites): functors which preserves sheafification (#12332) …
Added CategoryTheory.GrothendieckTopology.W_isInvertedBy_whiskeringRight_presheafToSheafView on Github →