mathlib

34fa1f81 - feat(group_theory/*): Add `finite` instances (#17377)

feat(group_theory/*): Add `finite` instances (#17377) To facilitate the transition from `fintype` to `finite` in the group theory library, here are some `finite` instances that mirror existing `fintype` instances.