mathlib

072c8ce8 - refactor(group_theory/commuting_probability): Use `finite` instead of `fintype` (#17397)

refactor(group_theory/commuting_probability): Use `finite` instead of `fintype` (#17397) This PR refactors `group_theory/commuting_probability` to use `finite` instead of `fintype`. Co-authored-by: Kyle Miller <kmill31415@gmail.com>