Registry · Remark V.R331 tau-effective not_applicable

V.R331 — RG flow as defect flow

Renormalization group flow is defect flow on tau-stages; couplings do not run, only readout resolution changes.

Book V Part 3 Ch. 24

Lean Formalization

Module: