Def CategoryTheory.ComposableArrows.Mk₁.obj

Modification history

2023-11-01 06:34

Mathlib/CategoryTheory/ComposableArrows.lean

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

Added CategoryTheory.ComposableArrows.Mk₁.obj View on Github →