FenchelNielsenZomorrodian/Discrete/Abelianization.lean
1import FenchelNielsenZomorrodian.Discrete.Abelianization.EllipticAbelianization
2import FenchelNielsenZomorrodian.Discrete.Abelianization.PeriodClassOrder
3import FenchelNielsenZomorrodian.Discrete.Abelianization.PeriodCoordinate
4import FenchelNielsenZomorrodian.Discrete.Abelianization.PeriodQuotient
6/-
7PUBLIC_PAGE_SNAPSHOT
8generated_at: 2026-05-27T09:47:29+09:00
9lean_source: lean4/FenchelNielsenZomorrodian/Discrete/Abelianization.lean
10translation_root: data/translation
11purpose: identifies the local data snapshot used to build pages/
12placement: after imports, never before imports
13-/
14/-!
15# FenchelNielsenZomorrodian.Discrete.Abelianization
17Wrapper for the `FenchelNielsenZomorrodian.Discrete.Abelianization` folder.
18-/