mathlib3
50d3d5f4 - feat(group_theory/index): Add typeclass for `finite_index` (#17139)

Commit

3 years ago

feat(group_theory/index): Add typeclass for `finite_index` (#17139) Supersedes #14680.

Author

tb65536

Parents