Registry · Theorem
IV.T227
tau-effective
not_formalized
IV.T227 — Tower Formula for alpha
From the iterated prime tower P^(k)(n) and S_5 symmetry-breaking: equation = (1115)^2 iota_tau^4 = 121225 iota_tau^4
Book IV
Part 1
Ch. 10