Theorem CochainComplex.mappingCone.inr_f_triangle_mor₃_f

Modification history

2024-02-08 14:48
Mathlib/Algebra/Homology/HomotopyCategory/Pretriangulated.lean
feat(Algebra/Homology/HomotopyCategory): definition of the distinguished triangles (#9614) …
Added CochainComplex.mappingCone.inr_f_triangle_mor₃_fView on Github →