Registry · Remark V.R363 tau-effective not_applicable

V.R363 — The apparent running

Orthodox running of couplings is a projection effect from restricting attention to scale-dependent boundary data subsets.

Book V Part 8 Ch. 74

Lean Formalization

Module: