Theorem CochainComplex.mappingCone.map_comp

Modification history

2024-08-19 11:42

Mathlib/Algebra/Homology/HomotopyCategory/Pretriangulated.lean

chore: backports from byAsSorry (#15759) …

Modified CochainComplex.mappingCone.map_comp View on Github →

2024-02-08 14:48

Mathlib/Algebra/Homology/HomotopyCategory/Pretriangulated.lean

feat(Algebra/Homology/HomotopyCategory): definition of the distinguished triangles (#9614) …

Added CochainComplex.mappingCone.map_comp View on Github →