Registry · Proposition IV.P267 tau-effective not_formalized IV.P267 — Gauge Coupling Hierarchy The three gauge self-couplings on the E_1 page: Book IV Part 4 Ch. 32