FenchelNielsenZomorrodian/Discrete/CompactFuchsian/FirstReduction.lean
1import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.ActualTransport
2import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.KernelEquivalence
3import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.QuotientAndBasis
4import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.RelatorProofs
5import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.Signatures
6import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction.TransportMaps
8/-
9PUBLIC_PAGE_SNAPSHOT
10generated_at: 2026-05-27T09:47:29+09:00
11lean_source: lean4/FenchelNielsenZomorrodian/Discrete/CompactFuchsian/FirstReduction.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.CompactFuchsian.FirstReduction
19Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction` folder.
20-/