Def CategoryTheory.ComposableArrows.mk₁

Modification history

2023-11-01 06:34

Mathlib/CategoryTheory/ComposableArrows.lean

feat(CategoryTheory): the category of composable arrows (#7999)

Added CategoryTheory.ComposableArrows.mk₁ View on Github →