Theorem CategoryTheory.Triangulated.TStructure.isGE_iff_isIso_truncGEπ_app

Modification history

2026-03-02 15:01
Mathlib/CategoryTheory/Triangulated/TStructure/TruncLTGE.lean
feat(CategoryTheory/Triangulated/TStructure): more on `truncLT` and `truncGE` (#35362)
Added CategoryTheory.Triangulated.TStructure.isGE_iff_isIso_truncGEπ_appView on Github →