Registry · Corollary V.C22 tau-effective not_formalized

V.C22 — Deterministic dynamism

Deterministic dynamism: L1 deterministic, L2 stochastic via non-injectivity

Book V Part 7 Ch. 66

Dependency Graph

Depends on (1)

V.D349