Theorem CategoryTheory.Triangulated.SpectralObject.δ_naturality

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