Theorem CategoryTheory.Adjunction.ext

Modification history

2024-12-14 10:55
Mathlib/CategoryTheory/Adjunction/Basic.lean
feat(CategoryTheory/Monoidal): composition of monoidal category adjunctions (#17956) …
Added CategoryTheory.Adjunction.extView on Github →