Registry · Theorem
V.T70
tau-effective
formalized
V.T70 — Macro three-condition sufficiency
Macro three-condition sufficiency: the macro defect-transport equation satisfies conditions (C1) clopen locality, (C2) bounded extraction, and (C3) defect-horizon contractivity of the Positive Regularity Theorem III.T25 at the macroscopic scale.
Book V
Part 4
Ch. 27