Registry · Definition
VII.D88
tau-effective
formalized
VII.D88 — Mediator Fixed-Point Basin
Basin of contents converging to S_L under iterated register-crossing; equals S_L itself (fixed points).
Book VII
Part 10
Ch. 121