Def CategoryTheory.Adjunction.rightAdjointOfEquiv

Modification history

2024-07-25 09:37
Mathlib/CategoryTheory/Adjunction/Basic.lean
chore: robustifying for debug.byAsSorry (part 2) (#15119) …
Modified CategoryTheory.Adjunction.rightAdjointOfEquivView on Github →
2023-02-21 09:17
Mathlib/CategoryTheory/Adjunction/Basic.lean
feat: port CategoryTheory.Adjunction.Basic (#2198)
Added CategoryTheory.Adjunction.rightAdjointOfEquivView on Github →