FenchelNielsenZomorrodian/Discrete/Singerman.lean
1import FenchelNielsenZomorrodian.Discrete.Singerman.CyclicProductIdentities
2import FenchelNielsenZomorrodian.Discrete.Singerman.CyclicQuotientActions
3import FenchelNielsenZomorrodian.Discrete.Singerman.CyclicSchreierKernel
4import FenchelNielsenZomorrodian.Discrete.Singerman.FreeGroupWords
5import FenchelNielsenZomorrodian.Discrete.Singerman.KernelTransport
6import FenchelNielsenZomorrodian.Discrete.Singerman.ReidemeisterSchreier
8/-
9PUBLIC_PAGE_SNAPSHOT
10generated_at: 2026-05-27T09:47:29+09:00
11lean_source: lean4/FenchelNielsenZomorrodian/Discrete/Singerman.lean
12translation_root: data/translation
13purpose: identifies the local data snapshot used to build pages/
14placement: after imports, never before imports
15-/
16/-!
17# FenchelNielsenZomorrodian.Discrete.Singerman
19Wrapper for the `FenchelNielsenZomorrodian.Discrete.Singerman` folder.
20-/