Registry · Theorem
II.T23
established
formalized
II.T23 — e from Index Arithmetic
Euler's number e is earned from within tau via index arithmetic: it is the unique growth rate eigenvalue of the nu-iterator, with three equivalent characterizations (factorial series, compound limit, index-arithmetic trace).
Book II
Part 5
Ch. 26