Theorem CategoryTheory.ComposableArrows.twoδ₁Toδ₀_app_zero

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_zero View on Github →