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_isGEView on Github →