mathlib

83a4b8b9 - chore(group_theory/subgroup): fix typo in docstring (#6722)