FenchelNielsenZomorrodian/Discrete/Arithmetic.lean

1import FenchelNielsenZomorrodian.Discrete.Arithmetic.FamilyLcm

2import FenchelNielsenZomorrodian.Discrete.Arithmetic.FinsetLcm

3import FenchelNielsenZomorrodian.Discrete.Arithmetic.PrimeDivisors

5/-

6PUBLIC_PAGE_SNAPSHOT

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

8lean_source: lean4/FenchelNielsenZomorrodian/Discrete/Arithmetic.lean

9translation_root: data/translation

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

11placement: after imports, never before imports

13/-!

14# FenchelNielsenZomorrodian.Discrete.Arithmetic

16Wrapper for the `FenchelNielsenZomorrodian.Discrete.Arithmetic` folder.