Def CategoryTheory.Adjunction.adjointUnopOfAdjointOp

Modification history

2023-03-28 22:14

Mathlib/CategoryTheory/Adjunction/Opposites.lean

feat: Port CategoryTheory.Adjunction.Opposites (#2424)

Added CategoryTheory.Adjunction.adjointUnopOfAdjointOp View on Github →