Registry · Theorem
IV.T72
tau-effective
formalized
IV.T72 — Proton Stability
Proton Stability Theorem: the proton is absolutely stable; no admissible endomorphism in the 4+1 sector framework can change baryon number, so B(phi(Psi)) = B(Psi) for all admissible phi, predicting tau_p = infinity.
Book IV
Part 5
Ch. 39