Def CategoryTheory.SplitMono.comp

Modification history

2026-05-06 09:43

Mathlib/CategoryTheory/EpiMono.lean

chore(CategoryTheory/EpiMono): use `to_dual` (#38173) …

Deleted CategoryTheory.SplitMono.comp View on Github →

2024-11-05 15:35

Mathlib/CategoryTheory/EpiMono.lean

chore(CategoryTheory/EpiMono): composition of `SplitEpi` and `SplitMono` (#18658) …

Added CategoryTheory.SplitMono.comp View on Github →