Def CategoryTheory.SplitEpi.splitMono

Modification history

2023-09-14 13:42

Mathlib/CategoryTheory/EpiMono.lean

style: fix wrapping of `where` (#7149)

Modified CategoryTheory.SplitEpi.splitMono View on Github →

2023-02-15 14:53

Mathlib/CategoryTheory/EpiMono.lean

feat: port CategoryTheory.EpiMono (#2292)

Added CategoryTheory.SplitEpi.splitMono View on Github →