mathlib3

chore(algebra/group): streamlining imports

#2099

Merged