Registry · Theorem V.T282 tau-effective not_formalized

V.T282 — Proton--neutron mass difference

Ledger restatement: proton-neutron mass difference (IV.T142/IV.T169)

Book V Part 7 Ch. 60

Dependency Graph

Depends on (5)

I.D34 IV.P201 IV.T142 IV.T169 IV.T170