Theorem CategoryTheory.isSplitEpi_iff_surjective

Modification history

2025-10-02 12:58
Mathlib/CategoryTheory/Types/Basic.lean
feat(Mathlib/CategoryTheory/EffectiveEpi/Types): Effective epi in types (#29958) …
Added CategoryTheory.isSplitEpi_iff_surjectiveView on Github →