Registry · Theorem IV.T381 framework not_formalized IV.T381 — Level 1+ Mass Ratio Including the holonomy correction: equationeq:R1 R_1 = iota_tau^-7 - (3 + ^3^2)iota_tau^-2. Book IV Part 8 Ch. 70