Registry · Definition III.D60 tau-effective formalized

III.D60 — Rank as Tower Depth

Minimal primorial depth at which the τ-rational point group stabilizes; τ-analogue of Mordell-Weil rank

Book III Part 6 Ch. 45

Dependency Graph

Depends on (1)

III.D59

Depended on by (3)

III.D62 III.P25 III.T35

Lean Formalization

Module: TauLib.BookIII.Arithmetic.RationalPoints

Symbol: rank_check