Registry · Theorem V.T327 tau-effective not_formalized

V.T327 — EHT shadow correction --- V.T184

Ledger restatement: EHT shadow T^2 correction (V.T184)

Book V Part 7 Ch. 64

Dependency Graph

Depends on (7)

I.D34 V.P148 V.P149 V.T184 V.T220 V.T221 V.T222

Depended on by (1)

V.P209