Theorem CategoryTheory.Triangulated.TStructure.isLE_of_iso

Modification history

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