Def CategoryTheory.Adjunction.representableBy

Modification history

2024-10-23 02:43

Mathlib/CategoryTheory/Adjunction/Basic.lean

feat(CategoryTheory/Adjunction): the left partial adjoint (#17388) …

Added CategoryTheory.Adjunction.representableBy View on Github →