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