Def CategoryTheory.sheafComposeNatTrans

Modification history

2024-05-24 08:53

Mathlib/CategoryTheory/Sites/PreservesSheafification.lean

feat(CategoryTheory/Sites): functors which preserves sheafification (#12332) …

Added CategoryTheory.sheafComposeNatTrans View on Github →