mathlib3
fd524810 - feat(group_theory/abelianization): Add fintype instance (#11302)

Commit

4 years ago

feat(group_theory/abelianization): Add fintype instance (#11302) Adds `fintype` instance for `abelianization`.

Author

tb65536

Parents