mathlib

1bda4fc5 - fix(group_theory/nielsen_schreier): fix typo (#18483)