Def CategoryTheory.ComposableArrows.homMkSucc

Modification history

2024-07-25 10:38

Mathlib/CategoryTheory/ComposableArrows.lean

chore: robustifying for debug.byAsSorry (part 3) (#15120) …

Modified CategoryTheory.ComposableArrows.homMkSucc View on Github →

2023-11-24 13:15

Mathlib/CategoryTheory/ComposableArrows.lean

feat(CategoryTheory): more constructors for ComposableArrows (#8475)

Added CategoryTheory.ComposableArrows.homMkSucc View on Github →