mathlib3

d9b2db99 - chore(group_theory/submonoid/center): fix typo and extend docstring (#8937)