Theorem CategoryTheory.Adjunction.Triple.op_rightToLeft

Modification history

2025-12-16 19:53
Mathlib/CategoryTheory/Adjunction/Triple.lean
chore(CategoryTheory): fix whitespace (#32928)
Modified CategoryTheory.Adjunction.Triple.op_rightToLeftView on Github →
2025-08-31 11:17
Mathlib/CategoryTheory/Adjunction/Triple.lean
feat(CategoryTheory/Adjunction): lemmas on adjoint quadruples (#27720) …
Added CategoryTheory.Adjunction.Triple.op_rightToLeftView on Github →