FenchelNielsenZomorrodian/Discrete/Core.lean

1import FenchelNielsenZomorrodian.Discrete.Core.CompactFuchsianPresentation

2import FenchelNielsenZomorrodian.Discrete.Core.EllipticCompact

3import FenchelNielsenZomorrodian.Discrete.Core.EllipticQuotientHom

4import FenchelNielsenZomorrodian.Discrete.Core.FamilySignature

5import FenchelNielsenZomorrodian.Discrete.Core.Signature

7/-

8PUBLIC_PAGE_SNAPSHOT

9generated_at: 2026-05-27T09:47:29+09:00

10lean_source: lean4/FenchelNielsenZomorrodian/Discrete/Core.lean

11translation_root: data/translation

12purpose: identifies the local data snapshot used to build pages/

13placement: after imports, never before imports

15/-!

16# FenchelNielsenZomorrodian.Discrete.Core

18Wrapper for the `FenchelNielsenZomorrodian.Discrete.Core` folder.