Registry · Definition II.D31 established formalized

II.D31 — Growth Base

The unique positive real number b satisfying the self-reproduction condition with log b = 1. Characterizes e as the growth rate eigenvalue of the nu-iterator.

Book II Part 5 Ch. 26

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookII.Transcendentals.EEarned

Symbol: e_compound_check