IV.T331 — Positive Regularity (III.T25)

For -admissible initial data (III.D36), every -germ stabilizes under the Hartogs flow operator H_flow (III.D40). The...