Def CategoryTheory.ComposableArrows.Mk₁.map

Modification history

2023-11-01 06:34

Mathlib/CategoryTheory/ComposableArrows.lean

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

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