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 →