mathlib3

doc(algebra/group/type_tags): add docs

#2287

Merged