Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(algebraic_topology/dold_kan): starting the definition of the inverse functor of the Dold-Kan equivalence #17551

Closed
wants to merge 4 commits into from

followed suggestion from code review

2970241
Select commit
Failed to load commit list.
Closed

[Merged by Bors] - feat(algebraic_topology/dold_kan): starting the definition of the inverse functor of the Dold-Kan equivalence #17551

followed suggestion from code review
2970241
Select commit
Failed to load commit list.

Workflow runs completed with no jobs