Registry · Theorem
IV.T319
tau-effective
not_formalized
IV.T319 — Neutron Lifetime as Diophantine Invariant
The neutron lifetime _n 881 s is determined by the Diophantine approximation structure of iota_tau = 2/( + e):...