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 →