Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Triangulated.TStructure.zero_of_isLE_of_isGE
Modification history
2025-11-17 00:03
Mathlib/CategoryTheory/Triangulated/TStructure/Basic.lean
feat(CategoryTheory/Triangulated): basic lemmas for t-structures (#31539) …
Added
CategoryTheory.Triangulated.TStructure.zero_of_isLE_of_isGE
View on Github →