Registry · Theorem IV.T330 tau-effective not_formalized

IV.T330 — Holonomy Correction

The proton--electron mass ratio R_0 receives a holonomy correction: equation R = R_0 + ^3 ^2 + higher order equation

Book IV Part 1 Ch. 10

Dependency Graph

Depends on (1)

IV.D253