mathlib3

7b78d177 - chore(group_theory/presented_group): generalize universe (#18115)