Theorem CategoryTheory.ComposableArrows.Mk₁.map_id

Modification history

2023-11-01 06:34
Mathlib/CategoryTheory/ComposableArrows.lean
feat(CategoryTheory): the category of composable arrows (#7999)
Added CategoryTheory.ComposableArrows.Mk₁.map_idView on Github →