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 →