Theorem CochainComplex.mappingCone.inr_triangleδ
Modification history
2025-06-03 17:48
Mathlib/Algebra/Homology/HomotopyCategory/Pretriangulated.lean
chore: remove `dsimp` when followed by `simp` (#25391) …
Modified CochainComplex.mappingCone.inr_triangleδView on Github →