Source: ProCGroups.GroupTheory
1import ProCGroups.GroupTheory.CentralizerNormalizerCommensurator
2import ProCGroups.GroupTheory.Conjugation
3import ProCGroups.GroupTheory.Subgroups
5/-!
6# Group-theoretic tools
8This aggregate module exposes results about centralizers, normalizers, commensurators,
9conjugation actions on quotients, and quotient-kernel embeddings.
10-/