Def CategoryTheory.ComposableArrows.functorArrows

Modification history

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