[Merged by Bors] - feat(CategoryTheory/Triangulated/TStructure): more on truncLT and truncGE#35362
Closed
joelriou wants to merge 15 commits intoleanprover-community:masterfrom
Closed
Commits
Commits on Feb 15, 2026
- committed
- committed
Commits on Feb 18, 2026
- committed
- committed
- committed
- committed