Def CategoryTheory.ComposableArrows.twoδ₂Toδ₁

Modification history

2026-08-25 11:58
Mathlib/CategoryTheory/ComposableArrows/Two.lean
feat(CategoryTheory/Triangulated): applying a homological functor to a spectral object (#42936) …
Deleted CategoryTheory.ComposableArrows.twoδ₂Toδ₁View on Github →
2026-01-17 10:43
Mathlib/CategoryTheory/ComposableArrows/Two.lean
feat(CategoryTheory/ComposableArrows): isIso_iff (#33879) …
Modified CategoryTheory.ComposableArrows.twoδ₂Toδ₁View on Github →
2025-11-21 11:20
Mathlib/CategoryTheory/ComposableArrows/Two.lean
feat(CategoryTheory/ComposableArrows): compositions of 1 or 2 morphisms (#31588)
Added CategoryTheory.ComposableArrows.twoδ₂Toδ₁View on Github →