Theorem CategoryTheory.Pretriangulated.comp_distTriang_mor_zero₃₁

Modification history

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 →