Registry · Definition V.D343 tau-effective not_formalized

V.D343 — Stability Index of omega-Germ

For an omega-germ g, the stability index n_*(g) is the minimal stage at which Norm_omega(g) stabilizes under refinement. Beyond n_*(g), the germ has reached its final normal form.

Book V Part 6 Ch. 51

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: