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