mathlib

3c78d00a - docs(group_theory/semidirect_product): fix typo in module docs (#12083)