Registry · Theorem V.T286 tau-effective not_formalized

V.T286 — Electroweak precision from tau

Ledger restatement: electroweak precision (IV.T140)

Book V Part 7 Ch. 60

Dependency Graph

Depends on (3)

I.D34 IV.D05 IV.T140