Def CategoryTheory.Adjunction.unopAdjointUnopOfAdjoint

Modification history

2025-01-01 14:50
Mathlib/CategoryTheory/Adjunction/Opposites.lean
chore(CategoryTheory/Adjunction/Opposites): redefine the opposite of an adjunction (#20375) …
Deleted CategoryTheory.Adjunction.unopAdjointUnopOfAdjointView on Github →
2023-03-28 22:14
Mathlib/CategoryTheory/Adjunction/Opposites.lean
feat: Port CategoryTheory.Adjunction.Opposites (#2424)
Added CategoryTheory.Adjunction.unopAdjointUnopOfAdjointView on Github →