FenchelNielsenZomorrodian/Discrete/CompactFuchsian/ZeroGenus.lean
1import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.CleanupData
2import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.FirstReductionData
3import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.Perfectness
4import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.Reductions
5import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.Reindexing
6import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus.SecondReductionData
7import FenchelNielsenZomorrodian.Discrete.MainTheorem
9/-
10PUBLIC_PAGE_SNAPSHOT
11generated_at: 2026-05-27T09:47:29+09:00
12lean_source: lean4/FenchelNielsenZomorrodian/Discrete/CompactFuchsian/ZeroGenus.lean
13translation_root: data/translation
14purpose: identifies the local data snapshot used to build pages/
15placement: after imports, never before imports
16-/
17/-!
18# FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus
20Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus` folder.
21-/