Registry · Theorem
IV.T318
tau-effective
not_formalized
IV.T318 — Cancelled Form of the Neutron Lifetime
After eliminating G_F and M_W in favour of iota_tau-derived quantities, the neutron lifetime takes the cancelled...
Book IV
Part 8
Ch. 71