mathlib

2e752e13 - feat(tactic/group): group normalization tactic (#3062)

feat(tactic/group): group normalization tactic (#3062) A tactic to normalize expressions in multiplicative groups. Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>