Registry · Proposition IV.P240 tau-effective not_formalized IV.P240 — Fine Structure Constant The fine structure constant derived from iota_tau: equation = 121225iota_tau^4 = (1115)^\!2iota_tau^4 Book IV Part 8 Ch. 67