Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-24 09:40 67730166

View on Github →

chore(category_theory/triangulated): cleanup (#6827)

Estimated changes

Modified src/category_theory/triangulated/basic.lean

deleted theorem category_theory.triangulated.triangle_morphism.comp_assoc

deleted theorem category_theory.triangulated.triangle_morphism.comp_id

deleted theorem category_theory.triangulated.triangle_morphism.id_comp

modified structure category_theory.triangulated.triangle_morphism