ProCGroups/GroupTheory.lean
1import ProCGroups.GroupTheory.CentralizerNormalizerCommensurator
2import ProCGroups.GroupTheory.Conjugation
3import ProCGroups.GroupTheory.Subgroups
5/-
6PUBLIC_PAGE_SNAPSHOT
7generated_at: 2026-05-27T09:47:29+09:00
8lean_source: lean4/ProCGroups/GroupTheory.lean
9translation_root: data/translation
10purpose: identifies the local data snapshot used to build pages/
11placement: after imports, never before imports
12-/
13/-!
14# Group-theoretic helper API
16General group-theoretic support lemmas used by the profinite-group libraries.
17-/