mathlib3
b12099d3 - feat(algebraic_topology/dold_kan): P_infty vanishes on degeneracies (#17191)

Commit

3 years ago

feat(algebraic_topology/dold_kan): P_infty vanishes on degeneracies (#17191) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents