Registry · Theorem V.T331 tau-effective not_formalized

V.T331 — Circular polarization winding --- V.T229

Ledger restatement: circular polarization winding (V.T229)

Book V Part 7 Ch. 64

Dependency Graph

Depends on (6)

I.D34 V.D53 V.T21 V.T228 V.T229 V.T230

Depended on by (1)

V.P209