ProCGroups/Presentations.lean
1import ProCGroups.Presentations.Profinite
2import ProCGroups.Presentations.SchreierTietze.Data
3import ProCGroups.Presentations.SchreierTietze.Relators
4import ProCGroups.Presentations.SchreierTietze.Restricted
6/-
7PUBLIC_PAGE_SNAPSHOT
8generated_at: 2026-05-27T09:47:29+09:00
9lean_source: lean4/ProCGroups/Presentations.lean
10translation_root: data/translation
11purpose: identifies the local data snapshot used to build pages/
12placement: after imports, never before imports
13-/
14/-!
15# Profinite presentations
17Presentation-level API for profinite groups, finite quotients, relators, and Schreier-Tietze restrictions.
18-/