Registry · Proposition IV.P362 tau-effective not_formalized IV.P362 — Force Sector Comparison The three gauge sectors on the E_1 page: Book IV Part 4 Ch. 29