conj): conjugacy class as finset
#9843

Open

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

jcommelin wants to merge 2 commits into master from conj-classes-fincarrier

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

346e2323

jcommelin added awaiting-review

eric-wieser commented on 2021-10-21

github-actions added blocked-by-other-PR

eric-wieser commented on 2021-10-21

Apply suggestions from code review

6cbb96bc

github-actions removed blocked-by-other-PR

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-review too-late

Milestone

No milestone