Commit 2026-04-27 12:44 ab04093f
View on Github →chore(Mathlib/Algebra/Homology/HomologicalComplex.lean): automated extraction (#38573) This PR was automatically created from PR #38552 by @joelriou via a review comment by @jcommelin.
chore(Mathlib/Algebra/Homology/HomologicalComplex.lean): automated extraction (#38573) This PR was automatically created from PR #38552 by @joelriou via a review comment by @jcommelin.