Theorem CategoryTheory.op_epi_iff

Modification history

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