Theorem DerivedCategory.exists_iso_Q_obj_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.exists_iso_Q_obj_of_isGE View on Github →