PR #8592: feat(group_theory/group_action/subgroup): Conju...

Stream: triage

[Random Issue Bot]

Today I chose PR 8592 for discussion!

feat(group_theory/group_action/subgroup): Conjugation action on subgroups of a group
Created by @Chris Hughes (@ChrisHughes24) on 2021-08-09
Labels: awaiting-author, t-algebra, modifies-synchronized-file

Is this PR still relevant? Any recent updates? Anyone making progress?