Def CategoryTheory.ComposableArrows.arrowEquiv

Modification history

2025-11-17 08:49

Mathlib/CategoryTheory/ComposableArrows/Basic.lean

feat(AlgebraicTopology): inductive construction of StrictSegal structures (#31250) …

Added CategoryTheory.ComposableArrows.arrowEquiv View on Github →