Registry · Definition II.D25 established formalized

II.D25 — Level Circle

The finite cyclic group at NF stage k in each angular direction. The finite-stage circle whose inverse limit yields the solenoidal circle.

Book II Part 5 Ch. 23

Dependency Graph

Depends on (3)

II.D15 II.T11 I.T18

Depended on by (1)

II.D26

Lean Formalization

Module: TauLib.BookII.Transcendentals.Lines

Symbol: level_circle