mathlib

e8bdb05e - feat(algebra/group): conversion between `→*` and `→+` (#1569)

feat(algebra/group): conversion between `→*` and `→+` (#1569) * feat(algebra/group): conversion between `→*` and `→+` * docs * Rename to allow use of projection notation