mathlib3
1e8f3817 - feat(algebraic_topology/dold_kan): defining some null homotopic maps (#13085)

Commit

3 years ago

feat(algebraic_topology/dold_kan): defining some null homotopic maps (#13085) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents