Def CategoryTheory.ComposableArrows.twoδ₂Toδ₁

Modification history

2025-11-21 11:20
Mathlib/CategoryTheory/ComposableArrows/Two.lean
feat(CategoryTheory/ComposableArrows): compositions of 1 or 2 morphisms (#31588)
Added CategoryTheory.ComposableArrows.twoδ₂Toδ₁View on Github →