Theorem CategoryTheory.Pretriangulated.comp_dist_triangle_mor_zero₂₃

Modification history

2023-10-18 08:18
Mathlib/CategoryTheory/Triangulated/Pretriangulated.lean
chore(CategoryTheory.Triangulated): use more camelCase for distTriang (#7643) …
Deleted CategoryTheory.Pretriangulated.comp_dist_triangle_mor_zero₂₃View on Github →
2023-04-09 07:30
Mathlib/CategoryTheory/Triangulated/Pretriangulated.lean
feat: port CategoryTheory.Triangulated.Pretriangulated (#3070)
Added CategoryTheory.Pretriangulated.comp_dist_triangle_mor_zero₂₃View on Github →