Def CategoryTheory.Adjunction.opAdjointOpOfAdjoint

Modification history

2023-03-28 22:14
Mathlib/CategoryTheory/Adjunction/Opposites.lean
feat: Port CategoryTheory.Adjunction.Opposites (#2424)
Added CategoryTheory.Adjunction.opAdjointOpOfAdjointView on Github →