Def CategoryTheory.Retract.splitEpi

Modification history

2026-06-24 10:57

Mathlib/CategoryTheory/Retract.lean

chore(CategoryTheory/LiftingProperties/Basic): use `to_dual` more (#40943) …

Modified CategoryTheory.Retract.splitEpi View on Github →

2024-12-06 07:03

Mathlib/CategoryTheory/Retract.lean

feat(CategoryTheory): retracts of objects and morphisms (#19233) …

Added CategoryTheory.Retract.splitEpi View on Github →