mathlib

1558a767 - feat(group_theory/subgroup/basic): Special cases of `subgroup_of` (#9755)

feat(group_theory/subgroup/basic): Special cases of `subgroup_of` (#9755) Add four lemmas regarding special cases of `subgroup_of`. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>