fixes in Algebra/Homology/HomologicalComplex#212

jcommelin wants to merge 1 commit into

leanprover-community:lean-pr-testing-13363leanprover-community/mathlib4-nightly-testing:lean-pr-testing-13363from

jcommelin:fix-13363-homologicalcomplexjcommelin/mathlib4:fix-13363-homologicalcomplexCopy head branch name to clipboard