Structure CategoryTheory.Triangulated.SpectralObject

Modification history

2025-11-28 17:46

Mathlib/CategoryTheory/Triangulated/SpectralObject.lean

feat(CategoryTheory/Triangulated): spectral objects (#31586) …

Added CategoryTheory.Triangulated.SpectralObject View on Github →