Registry · Theorem V.T336 tau-effective not_formalized

V.T336 — No-Shrink summary

Ledger restatement: No-Shrink theorem summary

Book V Part 7 Ch. 64

Dependency Graph

Depends on (1)

V.T113