Theorem CategoryTheory.effectiveEpi_of_kernelPair

Modification history

2025-11-21 13:53
Mathlib/CategoryTheory/Limits/Shapes/RegularMono.lean
feat(CategoryTheory): effective epi implies strong epi (#31860) …
Added CategoryTheory.effectiveEpi_of_kernelPairView on Github →