mathlib3

57a8933b - feat(group_theory/free_group): promote free_group_congr to a mul_equiv (#11373)