Registry · Theorem IV.T263 framework not_formalized IV.T263 — tau3 Electroweak Scale In Category : equation v = f(tau3 geometry) equation Book IV Part 3 Ch. 26