Theorem CategoryTheory.RetractArrow.leftLiftingProperty

Modification history

2026-06-24 10:57

Mathlib/CategoryTheory/LiftingProperties/Basic.lean

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

Deleted CategoryTheory.RetractArrow.leftLiftingProperty View on Github →

2024-12-22 09:55

Mathlib/CategoryTheory/LiftingProperties/Basic.lean

feat(CategoryTheory): left and right lifting properties (#19135) …

Added CategoryTheory.RetractArrow.leftLiftingProperty View on Github →