doc(algebra/group/type_tags): add docs (#2287)
doc(algebra/group/type_tags): add docs (#2287)

* doc(algebra/group/type_tags): add docs

* Update src/algebra/group/type_tags.lean

Co-authored-by: mergify[bot] <b09a6ee808b67e98a221404e7aaa52e0398a4954@users.noreply.github.com>
Co-authored-by: sgouezel <06bcd766296da4e7f3f1690c64fbdb3ee30e2f66@univ-rennes1.fr>
leanprover-community/mathlib,leanprover-community/mathlib