Registry · Definition VI.D25 tau-effective planned

VI.D25 — Temporal Stability Predicate

Three conditions: eventual stability of distinction under α-flow, basin return after perturbation, law-stability under reparametrization.

Book VI Part 2 Ch. 12

Dependency Graph

Depended on by (2)

VI.P10 VI.T17

Lean Formalization

Module:

Symbol: