Theorem CategoryTheory.Adjunction.Quadruple.epi_leftTriple_rightToLeft_iff_mono_rightTriple_leftToRight

Modification history

2025-08-31 11:17
Mathlib/CategoryTheory/Adjunction/Quadruple.lean
feat(CategoryTheory/Adjunction): lemmas on adjoint quadruples (#27720) …
Added CategoryTheory.Adjunction.Quadruple.epi_leftTriple_rightToLeft_iff_mono_rightTriple_leftToRightView on Github →