Theorem CategoryTheory.presheafHom_isSheafFor

Modification history

2023-11-28 18:08

Mathlib/CategoryTheory/Sites/SheafHom.lean

feat(CategoryTheory/Sites): internal hom of (pre)sheaves (#8622) …

Added CategoryTheory.presheafHom_isSheafFor View on Github →