Theorem CategoryTheory.Triangulated.TStructure.isGE_of_GE

Modification history

2026-01-30 15:11
Mathlib/CategoryTheory/Triangulated/TStructure/Basic.lean
chore: rename isLE_of_LE, isGE_of_GE (#34612) …
Deleted CategoryTheory.Triangulated.TStructure.isGE_of_GEView on Github →
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 →