Registry · Definition III.D59 tau-effective formalized

III.D59 — τ-Rational Point

Address in Ź̂_τ that stabilizes at finite primorial depth with rational ABCD coordinates

Book III Part 6 Ch. 45

Dependency Graph

Depends on (2)

III.D57 III.T10

Depended on by (3)

III.D60 III.D62 III.P25

Lean Formalization

Module: TauLib.BookIII.Arithmetic.RationalPoints

Symbol: rational_point_check