Theorem CategoryTheory.Presheaf.IsSheaf.comp

Modification history

2023-11-12 15:48
Mathlib/CategoryTheory/Sites/Whiskering.lean
feat(CategoryTheory): a version of `sheafCompose` for functors preserving smaller limits (#8235) …
Deleted CategoryTheory.Presheaf.IsSheaf.compView on Github →
2023-04-17 08:52
Mathlib/CategoryTheory/Sites/Whiskering.lean
feat: port CategoryTheory.Sites.Whiskering (#3461)
Added CategoryTheory.Presheaf.IsSheaf.compView on Github →