Theorem CategoryTheory.Triangulated.SpectralObject.mapHomologicalFunctor_δ

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.mapHomologicalFunctor_δView on Github →