Def CategoryTheory.Functor.mapComposableArrowsObjMk₁Iso

Modification history

2025-12-26 12:38
Mathlib/CategoryTheory/ComposableArrows/Basic.lean
feat(Algebra/Homology): the spectral object with values in the homotopy category (#33202) …
Added CategoryTheory.Functor.mapComposableArrowsObjMk₁IsoView on Github →