Registry · Proposition V.P206 tau-effective not_formalized

V.P206 — IGMF from Wilson skeleton --- V.P157

Ledger restatement: IGMF from Wilson skeleton (V.P157)

Book V Part 7 Ch. 64

Dependency Graph

Depends on (3)

I.D34 V.P157 V.T222

Depended on by (1)

V.P209