Commit 2025-11-17 00:03 69415be7
View on Github →feat(CategoryTheory/Triangulated): basic lemmas for t-structures (#31539)
This PR adds a few very basic lemmas about t-structures. For example t.IsLE (X⟦a⟧) n' ↔ t.IsLE X n when a + n' = n.
feat(CategoryTheory/Triangulated): basic lemmas for t-structures (#31539)
This PR adds a few very basic lemmas about t-structures. For example t.IsLE (X⟦a⟧) n' ↔ t.IsLE X n when a + n' = n.