Def CategoryTheory.Adjunction.Quadruple.rightTriple

Modification history

2025-08-31 11:17

Mathlib/CategoryTheory/Adjunction/Quadruple.lean

feat(CategoryTheory/Adjunction): lemmas on adjoint quadruples (#27720) …

Added CategoryTheory.Adjunction.Quadruple.rightTriple View on Github →