mathlib
158c0eaf - feat(group_theory/abelianization): add abelianization_of_comm_group (#11467)

Commit

4 years ago

feat(group_theory/abelianization): add abelianization_of_comm_group (#11467) Co-authored-by: Oliver Nash <github@olivernash.org>

Author

nomeata

Parents