Registry · Definition II.D26 established formalized

II.D26 — Solenoidal Circle

The inverse limit of finite cyclic groups in each angular direction. A compact, totally disconnected, torsion-free profinite group whose Archimedean projection is S^1.

Book II Part 5 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookII.Transcendentals.Circles

Symbol: solenoid_circle