Def CategoryTheory.Adjunction.corepresentableBy

Modification history

2024-10-23 02:43

Mathlib/CategoryTheory/Adjunction/Basic.lean

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

Added CategoryTheory.Adjunction.corepresentableBy View on Github →