Theorem CategoryTheory.PresheafHom.isAmalgamation_iff

Modification history

2023-11-28 18:08
Mathlib/CategoryTheory/Sites/SheafHom.lean
feat(CategoryTheory/Sites): internal hom of (pre)sheaves (#8622) …
Added CategoryTheory.PresheafHom.isAmalgamation_iffView on Github →