Theorem DerivedCategory.isLE_iff

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.isLE_iff View on Github →