Registry · Theorem V.T284 tau-effective not_formalized

V.T284 — Winding exponents for muon/electron

Ledger restatement: muon/electron winding exponents (IV.T148)

Book V Part 7 Ch. 60

Dependency Graph

Depends on (3)

I.D34 IV.T148 IV.T156