Commit 2024-11-05 15:35 491f0658
View on Github →chore(CategoryTheory/EpiMono): composition of SplitEpi and SplitMono (#18658)
Record the fact that the composition of two SplitMono is again a SplitMono, as well as the corresponding statement for IsSplitMono, and the dual statement for epimorphisms.