Registry · Theorem
IV.T380
framework
not_formalized
IV.T380 — Level 0 Mass Ratio
Assembling the bulk (Link 5) and the lemniscate correction (Link 6): equationeq:R0 R_0 = iota_tau^-7 - 3iota_tau^-2....
Book IV
Part 8
Ch. 70