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)
feat(topology/homotopy/homotopy_group): group
and comm_group
instances for π_n
(#15681)
This PR adds:
π_(n+1)
π_(n+2)