Registry · Definition II.D30 established formalized

II.D30 — e as Iterator Eigenvalue

e as Iterator Eigenvalue

Book II Part 5 Ch. 26

Dependency Graph

Depends on (4)

I.D04 I.D06 II.D14 II.D15

Depended on by (1)

II.D31

Lean Formalization

Module: TauLib.BookII.Transcendentals.EEarned

Symbol: e_factorial_sum_scaled