mathlib3
346e2323 - feat(algebra/group/conj): conjugacy class as finset

Commit

4 years ago

feat(algebra/group/conj): conjugacy class as finset

References

#9843 - feat(algebra/group/conj): conjugacy class as finset

Author

jcommelin

jcommelin

Parents

Loading