Registry · Proposition IV.P236 framework not_formalized IV.P236 — Holonomy Correction The triple U(1) holonomy around the three circles of tau3 contributes a second-order correction: equation R = ^3^2... Book IV Part 8 Ch. 70