Theorem CategoryTheory.mono_comp_iff_of_mono

Modification history

2026-05-06 09:43
Mathlib/CategoryTheory/EpiMono.lean
chore(CategoryTheory/EpiMono): use `to_dual` (#38173) …
Deleted CategoryTheory.mono_comp_iff_of_monoView on Github →
2025-07-31 04:45
Mathlib/CategoryTheory/EpiMono.lean
feat(CategoryTheory/Adjunction): more results on adjoint triples. (#27650) …
Added CategoryTheory.mono_comp_iff_of_monoView on Github →