Registry · Theorem IV.T228 tau-effective not_formalized IV.T228 — Tower Formula Accuracy Numerical evaluation with iota_tau = 2/( + e) 0.341304: align iota_tau^4 & 0.013564, \\ 121225 iota_tau^4 & 0.007297, Book IV Part 1 Ch. 10