# Commit 2023-06-05 06:26 4c3e1721

View on Github →feat(topology/homotopy/homotopy_group): `group`

and `comm_group`

instances for `π_n`

(#15681)
This PR adds:

- Group instance for
`π_(n+1)`

- Commutative group instance for
`π_(n+2)`

Mathlib v3 is deprecated. Go to Mathlib v4

feat(topology/homotopy/homotopy_group): `group`

and `comm_group`

instances for `π_n`

(#15681)
This PR adds:

- Group instance for
`π_(n+1)`

- Commutative group instance for
`π_(n+2)`