FenchelNielsenZomorrodian/Discrete/CompactFuchsian/PeriodOne.lean
1import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.KernelEquivalence
2import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.LowCardDihedral
3import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.QuotientAndBasis
4import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.RelatorProofs
5import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.SourceMaps
6import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.SourceSubgroup
7import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.TargetMaps
8import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.TargetSignatures
10/-
11PUBLIC_PAGE_SNAPSHOT
12generated_at: 2026-05-27T09:47:29+09:00
13lean_source: lean4/FenchelNielsenZomorrodian/Discrete/CompactFuchsian/PeriodOne.lean
14translation_root: data/translation
15purpose: identifies the local data snapshot used to build pages/
16placement: after imports, never before imports
17-/
18/-!
19# FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne
21Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne` folder.
22-/