Theorem CategoryTheory.PresheafHom.IsSheafFor.exists_app

Modification history

2024-08-12 18:29
Mathlib/CategoryTheory/Sites/SheafHom.lean
chore: move to v4.11.0-rc2 (new `variable` command) (#15726)
Modified CategoryTheory.PresheafHom.IsSheafFor.exists_appView on Github →
2023-11-28 18:08
Mathlib/CategoryTheory/Sites/SheafHom.lean
feat(CategoryTheory/Sites): internal hom of (pre)sheaves (#8622) …
Added CategoryTheory.PresheafHom.IsSheafFor.exists_appView on Github →