Theorem CategoryTheory.Sheaf.adjunction_unit_app_val

Modification history

2024-09-05 11:08
Mathlib/CategoryTheory/Sites/Adjunction.lean
chore(CategoryTheory/Sites): simplify definition of adjunction between sheaf categories (#16501)
Added CategoryTheory.Sheaf.adjunction_unit_app_valView on Github →