Registry · Definition II.D29 established formalized

II.D29 — Archimedes Polygon Sequence

Archimedes Polygon Sequence

Book II Part 5 Ch. 25

Dependency Graph

Depends on (2)

II.D26 II.T20

Depended on by (1)

II.D28

Lean Formalization

Module: TauLib.BookII.Transcendentals.PiEarned

Symbol: pi_leibniz_scaled