Theorem DerivedCategory.isZero_of_isGE

Modification history

2025-09-01 08:25
Mathlib/Algebra/Homology/DerivedCategory/TStructure.lean
feat(Algebra/Homology): the canonical t-structure on the derived category (#27395)
Added DerivedCategory.isZero_of_isGEView on Github →