Theorem CategoryTheory.ComposableArrows.homMk₂_app_two

Modification history

2026-01-17 10:43
Mathlib/CategoryTheory/ComposableArrows/Basic.lean
feat(CategoryTheory/ComposableArrows): isIso_iff (#33879) …
Modified CategoryTheory.ComposableArrows.homMk₂_app_twoView on Github →
2024-01-12 12:47
Mathlib/CategoryTheory/ComposableArrows.lean
perf (CategoryTheory.ComposableArrows): swap out `linarith` for `omega` (#9594) …
Modified CategoryTheory.ComposableArrows.homMk₂_app_twoView on Github →
2023-11-24 13:15
Mathlib/CategoryTheory/ComposableArrows.lean
feat(CategoryTheory): more constructors for ComposableArrows (#8475)
Added CategoryTheory.ComposableArrows.homMk₂_app_twoView on Github →