Theorem CategoryTheory.Triangulated.TStructure.isGE_of_GE

Modification history

2025-12-04 09:22
Mathlib/CategoryTheory/Triangulated/TStructure/Basic.lean
feat(Tactic): add `lia` as an alias for `cutsat` and use it throughout (#32376) …
Modified CategoryTheory.Triangulated.TStructure.isGE_of_GEView on Github →
2025-11-17 00:03
Mathlib/CategoryTheory/Triangulated/TStructure/Basic.lean
feat(CategoryTheory/Triangulated): basic lemmas for t-structures (#31539) …
Added CategoryTheory.Triangulated.TStructure.isGE_of_GEView on Github →