Theorem CategoryTheory.mono_comp'

Modification history

2025-12-23 14:13
Mathlib/CategoryTheory/Category/Basic.lean
feat(CategoryTheory/Category/Basic): use `to_dual` (#33146) …
Deleted CategoryTheory.mono_comp'View on Github →
2025-02-22 09:21
Mathlib/CategoryTheory/Category/Basic.lean
feat(CategoryTheory): explicit argument versions of `epi_comp` and `mono_comp` (#22181) …
Added CategoryTheory.mono_comp'View on Github →