Yamaguchi Lean 4 Library
Homepage
Source: ProCGroups.Presentations
ProCGroups
/
Presentations
/
Source
Source: ProCGroups.Presentations
1
import
ProCGroups.Presentations.Profinite
2
3
/-!
4
# Pro C Groups / Presentations
5
6
This aggregate exposes the canonical profinite presentation API: closed normal closures and free
7
pro-\(C\) relator presentations.
8
-/