Registry · Definition V.D208 tau-effective planned

V.D208 — Genealogical Branching Rate

Number of distinct orbits at depth n: B(n) = |Lambda_n|/|Lambda_{n-1}| ~ n/ln(n).

Book V Part 1 Ch. 6

Lean Formalization

Module: