Roberto Álvarez comments

Repositories
Issues
Comments

Results 2 comments of


                                            Roberto Álvarez

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

Hi @alreadydone please feel free to PR what you consider ready. Lately I've been trying to generalize the auxiliary lemmas and definitions, however I failed to do so satisfactorily and...

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

Hi @alreadydone I've been doing some cleaning in this PR, let me know what needs to be done in order to close it. Thanks!