Registry · Theorem
IV.T257
tau-effective
not_formalized
IV.T257 — Electron Charge from Conservation
The electron charge is Q_e = -e, from charge conservation: enumerate Neutron: Q_n = 0, Proton took: Q_p = +e,
Book IV
Part 1
Ch. 8