Theorem CategoryTheory.ComposableArrows.twoδ₂Toδ₁_app_one

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δ₁_app_one View on Github →