Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.presheafHom_map_app_op_mk_id
Modification history
2023-11-28 18:08
Mathlib/CategoryTheory/Sites/SheafHom.lean
feat(CategoryTheory/Sites): internal hom of (pre)sheaves (#8622) …
Added
CategoryTheory.presheafHom_map_app_op_mk_id
View on Github →