Def CategoryTheory.Adjunction.leftAdjointsCoyonedaEquiv

Modification history

2026-10-16 07:34
Mathlib/CategoryTheory/Adjunction/Opposites.lean
chore: remove declarations deprecated between 2026-04-01 and 2026-04-15 (#44903) …
Deleted CategoryTheory.Adjunction.leftAdjointsCoyonedaEquivView on Github →
2023-03-28 22:14
Mathlib/CategoryTheory/Adjunction/Opposites.lean
feat: Port CategoryTheory.Adjunction.Opposites (#2424)
Added CategoryTheory.Adjunction.leftAdjointsCoyonedaEquivView on Github →