Theorem CategoryTheory.Triangulated.SpectralObject.mapTriangulatedFunctor_δ

Modification history

2025-11-28 17:46
Mathlib/CategoryTheory/Triangulated/SpectralObject.lean
feat(CategoryTheory/Triangulated): spectral objects (#31586) …
Added CategoryTheory.Triangulated.SpectralObject.mapTriangulatedFunctor_δView on Github →