mathlib3

feat(algebra/group/basic.lean): add inv_mul_eq_one

#2349

Merged