Def CategoryTheory.Triangulated.SpectralObject.precomp

Modification history

2025-12-26 12:38
Mathlib/CategoryTheory/Triangulated/SpectralObject.lean
feat(Algebra/Homology): the spectral object with values in the homotopy category (#33202) …
Added CategoryTheory.Triangulated.SpectralObject.precompView on Github →