Def CategoryTheory.LiftLeftAdjoint.otherMap

Modification history

2024-09-03 09:13

Mathlib/CategoryTheory/Adjunction/Lifting/Left.lean

feat(CategoryTheory/Adjunction): dualize adjoint lifting theorem (#16066) …

Added CategoryTheory.LiftLeftAdjoint.otherMap View on Github →