Theorem CategoryTheory.Triangulated.TStructure.to_truncLT_obj_ext

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.to_truncLT_obj_ext View on Github →