Def CategoryTheory.Triangulated.SpectralObject.triangleMap

Modification history

2026-08-25 11:58
Mathlib/CategoryTheory/Triangulated/SpectralObject.lean
feat(CategoryTheory/Triangulated): applying a homological functor to a spectral object (#42936) …
Added CategoryTheory.Triangulated.SpectralObject.triangleMapView on Github →