Theorem CategoryTheory.Adjunction.Triple.epi_rightToLeft_app_iff_epi_map_adj₂_counit_app

Modification history

2025-07-31 04:45
Mathlib/CategoryTheory/Adjunction/Triple.lean
feat(CategoryTheory/Adjunction): more results on adjoint triples. (#27650) …
Added CategoryTheory.Adjunction.Triple.epi_rightToLeft_app_iff_epi_map_adj₂_counit_appView on Github →