ProCGroups/Presentations/SchreierTietze.lean

1import ProCGroups.Presentations.SchreierTietze.Data

2import ProCGroups.Presentations.SchreierTietze.Relators

3import ProCGroups.Presentations.SchreierTietze.Restricted

5/-

6PUBLIC_PAGE_SNAPSHOT

7generated_at: 2026-05-27T09:47:29+09:00

8lean_source: lean4/ProCGroups/Presentations/SchreierTietze.lean

9translation_root: data/translation

10purpose: identifies the local data snapshot used to build pages/

11placement: after imports, never before imports

13/-!

14# ProCGroups.Presentations.SchreierTietze

16Wrapper for the `ProCGroups.Presentations.SchreierTietze` folder.