Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Pretriangulated.comp_distTriang_mor_zero₁₂
Modification history
2025-08-27 19:15
Mathlib/CategoryTheory/Triangulated/Pretriangulated.lean
chore(CategoryTheory): process remaining porting notes for CategoryTheory (#28782) …
Modified
CategoryTheory.Pretriangulated.comp_distTriang_mor_zero₁₂
View on Github →
2023-10-18 08:18
Mathlib/CategoryTheory/Triangulated/Pretriangulated.lean
chore(CategoryTheory.Triangulated): use more camelCase for distTriang (#7643) …
Added
CategoryTheory.Pretriangulated.comp_distTriang_mor_zero₁₂
View on Github →