Def CategoryTheory.Cofork.IsColimit.regularEpi

Modification history

2026-06-02 18:08

Mathlib/CategoryTheory/Limits/Shapes/RegularMono.lean

feat(CategoryTheory): define internal equivalence relations (#36541) …

Added CategoryTheory.Cofork.IsColimit.regularEpi View on Github →