Def CategoryTheory.SplitMono.splitEpi

Modification history

2026-05-06 09:43
Mathlib/CategoryTheory/EpiMono.lean
chore(CategoryTheory/EpiMono): use `to_dual` (#38173) …
Deleted CategoryTheory.SplitMono.splitEpiView on Github →
2023-09-14 13:42
Mathlib/CategoryTheory/EpiMono.lean
style: fix wrapping of `where` (#7149)
Modified CategoryTheory.SplitMono.splitEpiView on Github →
2023-03-12 16:37
Mathlib/CategoryTheory/EpiMono.lean
chore: strip trailing spaces in lean files (#2828) …
Modified CategoryTheory.SplitMono.splitEpiView on Github →
2023-02-15 14:53
Mathlib/CategoryTheory/EpiMono.lean
feat: port CategoryTheory.EpiMono (#2292)
Added CategoryTheory.SplitMono.splitEpiView on Github →