Roberto Álvarez issues

Repositories
Issues
Comments

Results 1 issues of


                                            Roberto Álvarez

feat(topology/homotopy/homotopy_group): `group` and `comm_group` instances for `π_n`

This PR adds: - Group instance for `π_(n+1)` - Commutative group instance for `π_(n+2)` --- - [x] depends on: #16879 [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

WIP