mathlib

3d00081c - feat(group_theory/index): Index of top and bottom subgroups (#9819)

feat(group_theory/index): Index of top and bottom subgroups (#9819) This PR computes the index of the top and bottom subgroups. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>