Def CategoryTheory.SplitEpi.comp

Modification history

2024-11-05 15:35

Mathlib/CategoryTheory/EpiMono.lean

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

Added CategoryTheory.SplitEpi.comp View on Github →