Skip to content
Back to pull request #11760

[Merged by Bors] - feat: the homological functor on the homotopy category of cochain complexes in an abelian category #31119

Sign in to view logs

[Merged by Bors] - feat: the homological functor on the homotopy category of cochain complexes in an abelian category

[Merged by Bors] - feat: the homological functor on the homotopy category of cochain complexes in an abelian category #31119

Check all files imported

Check all files imported
succeeded May 9, 2024 in 10s