mathlib3

7f916a0b - feat(group_theory/subgroup/basic): add 2 lemmas