Registry · Theorem V.T287 tau-effective not_formalized

V.T287 — Renormalization as tower truncation

Renormalization as profinite tower truncation

Book V Part 7 Ch. 60

Dependency Graph

Depends on (1)

V.T122