Registry · Theorem IV.T307 tau-effective not_formalized IV.T307 — Neutron-to-Electron Mass Ratio The neutron-to-electron mass ratio predicted by tau3 is: equation R_0 = iota_tau^-7 - 3iota_tau^-2 1838.7. Book IV Part 2 Ch. 20