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

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.ProtonStability