Def CategoryTheory.Functor.mapTriangulatedSpectralObject

Modification history

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