Theorem CategoryTheory.Adjunction.counit_naturality

Modification history

2026-06-08 19:59
Mathlib/CategoryTheory/Adjunction/Basic.lean
feat: `to_dual` for `Adjunction` (#39867) …
Deleted CategoryTheory.Adjunction.counit_naturalityView on Github →
2023-02-21 09:17
Mathlib/CategoryTheory/Adjunction/Basic.lean
feat: port CategoryTheory.Adjunction.Basic (#2198)
Added CategoryTheory.Adjunction.counit_naturalityView on Github →