FenchelNielsenZomorrodian/Discrete/CompactFuchsian.lean
1import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.AbelianizationKernel.Conditions
2import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.AbelianizationKernel.Periods
3import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.ActualTransport
4import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.KernelEquivalence
5import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.QuotientAndBasis
6import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.RelatorProofs
7import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.Signatures
8import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.TransportMaps
9import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodFamilies
10import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.KernelEquivalence
11import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.LowCardDihedral
12import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.QuotientAndBasis
13import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.RelatorProofs
14import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.SourceMaps
15import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.SourceSubgroup
16import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.TargetMaps
17import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne.TargetSignatures
18import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.Quotients
19import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.KernelEquivalence
20import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.OrderedTargetSignature
21import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.QuotientAndBasis
22import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.RelatorProofs
23import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceCore
24import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceHead
25import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceMiddleTail
26import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceTotal
27import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.Target
28import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Signatures
29import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.TransportMaps
30import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.CleanupData
31import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.FirstReductionData
32import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.Perfectness
33import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.Reductions
34import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.Reindexing
35import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.SecondReductionData
36import FenchelNielsenZomorrodian.Discrete.MainTheorem
38/-
39PUBLIC_PAGE_SNAPSHOT
40generated_at: 2026-05-27T09:47:29+09:00
41lean_source: lean4/FenchelNielsenZomorrodian/Discrete/CompactFuchsian.lean
42translation_root: data/translation
43purpose: identifies the local data snapshot used to build pages/
44placement: after imports, never before imports
45-/
46/-!
47# FenchelNielsenZomorrodian.Discrete.CompactFuchsian
49Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian` folder.
50-/