Def CategoryTheory.RetractArrow.left

Modification history

2024-12-06 07:03

Mathlib/CategoryTheory/Retract.lean

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

Added CategoryTheory.RetractArrow.left View on Github →