Registry · Theorem V.T328 tau-effective not_formalized

V.T328 — M87* prediction suite

Ledger restatement: M87* prediction suite (V.T220)

Book V Part 7 Ch. 64

Dependency Graph

Depends on (6)

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

Depended on by (1)

V.P209