Theorem CategoryTheory.IsSplitEpi.id

Modification history

2023-02-15 14:53

Mathlib/CategoryTheory/EpiMono.lean

feat: port CategoryTheory.EpiMono (#2292)

Added CategoryTheory.IsSplitEpi.id View on Github →