FenchelNielsenZomorrodian/Discrete/CompactFuchsian/SecondReduction.lean
1import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.KernelEquivalence
2import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.OrderedTargetSignature
3import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.QuotientAndBasis
4import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.RelatorProofs
5import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceCore
6import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceHead
7import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceMiddleTail
8import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.SourceTotal
9import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators.Target
10import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Signatures
11import FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.TransportMaps
13/-
14PUBLIC_PAGE_SNAPSHOT
15generated_at: 2026-05-27T09:47:29+09:00
16lean_source: lean4/FenchelNielsenZomorrodian/Discrete/CompactFuchsian/SecondReduction.lean
17translation_root: data/translation
18purpose: identifies the local data snapshot used to build pages/
19placement: after imports, never before imports
20-/
21/-!
22# FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction
24Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction` folder.
25-/