mathlib

7c04f361 - feat(group_theory/schreier): prove Schreier's lemma (#13019)

feat(group_theory/schreier): prove Schreier's lemma (#13019) This PR adds a proof of Schreier's lemma. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>